MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formal Modeling and Analysis of Timed Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Robustness and Implementability of Timed Automata  
  • by Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin — 2004 — In Proc. Joint Conf. Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System (FORMATS+FTRTFT’04), volume 3253 of LNCS
  • … and analysis of real-time systems. Formalisms like timed automata and hybrid automata are central in the so…
  • Cited by 6 (4 self) – Add To MetaCart
  • Code synthesis for timed automata  
  • by Tobias Amnell, Tobias Amnell, Tobias Amnell — 2003 — Nordic Journal of Computing
  • … of the 1st International Workshop on Formal Modelling and Analysis of Timed Systems (FORMATS), 2003. vii…
  • Cited by 12 (4 self) – Add To MetaCart
  • Consortium No Name Short name Country  
  • by Frits Va, Robert Bosch Gmbh Bosch D, Cybernetix Recherche Cyr F, Axxom Software Ag Axxom D, Terma A/s Terma Dk, Verimag Verimag F — 2006
  • … Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003) held as satellite event of CONCUR…
  • Add To MetaCart
  • On the optimal reachability problem  
  • by Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-françois Raskin — 2006 — Formal Methods in System Design
  • … well-established formalism for the modeling and analysis of timed systems. Timed automata augment…
  • Cited by 2 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB