MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal methods for the specification and design of real-time safety critical systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Jonathan P. Bowen, Michael G. Hinchey  
  • by High-Integrity System Specification, Jonathan P. Bowen, Michael G. Hinchey, C. A. R. Hoare — 18
  • … . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365 Formal Methods for the Specification and Design of Real-Time SafetyCritical Systems (Ostroff…
  • Add To MetaCart
  • High-Integrity System Specification  
  • by Jonathan P. Bowen, Michael G. Hinchey — 1999
  • … ........................................365 Formal Methods for the Specification and Design of Real-Time Safety- Critical Systems (Ostroff…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB