Searching for authors named "Roberto Cavada" – 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.

Formal verification of diagnosability via symbolic model checking
by Alessandro Cimatti, Charles Pecheur, Roberto Cavada — 2003 — In Proceedings of the 18th International Joint Conference on Artificial Intelligence IJCAI’03
… Pecheur Roberto Cavada ITC-irst RIACS/NASA Ames Research Center ITC-irst Povo, Trento, Italy Moffett Field…
Cited by 15 (2 self) – Add To MetaCart

NuSMV 2.1 User Manual
by Roberto Cavada Alessandro, Ro Cimatti, Marco Roveri
…NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore…
Add To MetaCart

Showing 1 through 2.

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