Searching for "Automated Technology for Verification and Analysis" – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Functional Analysis of a Real-Time Protocol for Networked Control Systems
by Colin Fidge, Yu-chu Tian — Lecture Notes in Computer Science 2006
… for Networked Control Systems. In Proceedings International Symposium on Automated Technology for Verification…
Cited by 1 (1 self) – Add To MetaCart

Büchi Complementation Made Tighter
by Ehud Friedgut, Orna Kupferman, Moshe Vardi — 2004
… of this paper appears in the proceedings of the 2nd International Symposium on Automated Technology…
Cited by 11 (5 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB