Rossi, Gian Paolo, Italy
-
Volume 35: Automated Verification of Critical Systems 2010 - Articles
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.