MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Theory of Timed I/O Automata" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • From I/O Automata to Timed I/O Automata  
  • by Solution To The, Bernd Grobauer
  • …, but also the underlying meta-theory of timed I/O automata, on which the correctness proof is based. 1…
  • Add To MetaCart
  • Types for Proofs and Programs  
  • by Bernd Grobauer — 1999
  • ….4.1 The Theory of Timed I/O Automata . . . . . . . . . . . . . . . . . . . . . . 7 2.4.2 A Formalization in HOLCF…
  • Add To MetaCart
  • Specifying and proving timing properties with TIOA tools  
  • by Dilsun Kaynar, Nancy Lynch, Sayan Mitra — 2004 — In Work in progress session of the 25th IEEE International Real-Time Systems Symposium (RTSS-WIP
  • …-ships. The theory of timed I/O automata is presented in detail in [4] and a shorter introduction to the framework ap…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB