MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Automatic Symbolic Verification of Embedded 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
  • Essential Reading: Theory of Timed and Hybrid Systems  
  • by R. Ramanujam, Paritosh K. Pandya, Afh R. Alur, T. Feder, Hkpv T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya What's Decidable — 1997 — Proc. IEEE Conf. on Decision and Control
  • … verification of embedded systems. IEEE TSE, 22(3):181--201, 1996. [Bur84] J.P. Burgess. Handbook…
  • Add To MetaCart
  • Dependablesyenda Evolution  
  • by Grand Challenge For
  • …-Book. Cambridge University Press. Alu96 R. Alur, T. Henzinger, and P.-H. Ho 1996. Automatic symbolic verification…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB