Searching for "Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs." – 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.

Formal Verification of the Island Tunnel Controller using Multiway Decision Graphs
by Z. Zhou, X. Song, S. Tahar, E. Cerny, F. Corella, M. Langevin
…Formal Verification of the Island Tunnel Controller using Multiway Decision Graphs Z. Zhou 4 , X…
Cited by 10 (3 self) – Add To MetaCart

Showing 1 through 1.

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