Formal Methods for the Specification and Design of Real-Time Safety Critical Systems (1992)

Cached

Download Links

by Jonathan S. Ostroff
Citations:31 - 0 self