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

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

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

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB