Searching for "The Production Cell A Verified Real-Time System." – 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.

The Production Cell: A Verified Real-Time System
by Henning Dierks — 1996 — Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 1135 (Springer-Verlag, 1996) 208--227. Transformational Design of Real-Time Systems 6
…The Production Cell: A Verified Real-Time System Henning Dierks University of Oldenburg…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 1.

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