MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Operational Semantics of Hybrid Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Operational semantics of hybrid systems  
  • by All Rights Reserved, Haiyang Zheng, Haiyang Zheng, Haiyang Zheng — 2005 — Hybrid Systems: Computation and Control (HSCC), volume LNCS 3414
  • …Operational Semantics of Hybrid Systems Haiyang Zheng Electrical Engineering and Computer Sciences…
  • Cited by 12 (5 self) – Add To MetaCart
  • Interchange format for hybrid systems: Abstract semantics  
  • by Ro Pinto, Lucap. Carloni, Roberto Passerone — 2006 — In João P. Hespanha and Ashish Tiwari, editors, Hybrid Systems: Computation and Control, 9th International Workshop, volume 3927 of Lecture Notes in Computer Science
  • … example of the definition of operational semantics of hybrid systems is given in [3]. Each language…
  • Cited by 7 (0 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB