MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "RT-Z An Integration of Z and timed CSP." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • An Integration of Z and Timed CSP for Specifying Real-Time Embedded Systems  
  • by Carsten Sühl, Von Fakultät, Iv Elektrotechnik Informatik, Der Technischen Universität Berlin, Vorsitzender Prof, Dr. -ing Martin Buss, Berichter Prof, Dr. -ing Stefan Jähnichen — 2002
  • … . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 5 Classification 31 II RT-Z: An Integration of Z and Timed CSP 35 6 Integration Principles 39 6…
  • Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB