Searching for authors named "Roberto Cavada" – sorted by Relevance.
-
Formal verification of diagnosability via symbolic model checking
- 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
- NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore
- Add To MetaCart

