MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Formally Specifying and Verifying Real-Time Systems." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Formally Specifying and Verifying Real-Time Systems
by Richard A. Kemmerer, Paul Z. Kolano — 1997 — Proceedings of the 1st IEEE International Conference on Formal Engineering Methods
…Formally Specifying and Verifying Real-Time Systems Richard A. Kemmerer Paul Z. Kolano Reliable…
Cited by 2 (2 self) – Add To MetaCart

Formally Specifying and Verifying Real-Time Systems
by unknown authors
…Formally Specifying and Verifying Real-Time Systems ABSTRACT A real-time computer system is a…
Add To MetaCart

Formally Specifying and Verifying Real-Time Systems
by Richard Kemmerer Paul — 1997
…Formally Specifying and Verifying Real-Time Systems ABSTRACT A real-time computer system is a…
Add To MetaCart

Tools and Techniques for the Design and Systematic Analysis of Real-Time Systems
by Paul Z. Kolano, Paul Zachary Kolano, Ambuj K. Singh, Richard A. Kemmerer, Committee Chairperson — 1999
…-Verlag, pp. 315-333. R.A. Kemmerer and P.Z. Kolano. “Formally Specifying and Verifying Real-Time Systems…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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