MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "OMEGA correct development of real time and embedded systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • A Semantics of Communicating Reactive Objects with Timing  
  • by Jozef Hooman, Mark B. Van Der Zwaag — 2004 — In Proc. of Workshop on Specification and Validation of UML models for Real-Time Embedded Systems, SVERTS associated with UML 2003, technical report Verimag 2003/10/22
  • … of the EU project Omega (Correct Development of Real-Time Embedded systems). This project aims to improve…
  • Cited by 6 (1 self) – Add To MetaCart
  • Compositional verification of timed components using pvs  
  • by Marcel Kyas, Jozef Hooman — Proceedings of Software Engineering 2006, volume P-79 of Lecture Notes in Informatics, pages 143 – 154, 2006. Available from World Wide Web: http://www.cs.ru.nl/~hooman/SE06.html
  • … “Correct Development of Real-Time Embedded Systems.” For more information, see http://www-omega…
  • Cited by 1 (0 self) – Add To MetaCart
  • Advanced Methods for Timed Systems  
  • by Ametist Proposal For
  • … resource allocation heuristics. . IST-2001-32141 Omega (Correct Development of Real-Time Embedded Systems…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB