Searching for "Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software." – 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.

Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software
by James Von Olnhausen, Lalita Jategaonkar Jagadeesan, Lalita Jategaonkar Jagadeesan, Carlos Puchol, Carlos Puchol, James E. Von Olnhausen — 1996 — In Proceedings of the 7th International Conference on Computer Aided Verification, Volume 939 of the Lecture Notes in Computer Science
…Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software…
Cited by 24 (4 self) – Add To MetaCart

Showing 1 through 1.

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