Improving safety assessment of complex systems: An industrial case study (2003)

Cached

Download Links

by Marco Bozzano , Antonella Cavallo , Massimo Cifaldi , Itc-irst Alenia , Aeronatica Società , Italiana Avionica , Laura Valacca , Adolfo Villafiorita , Società Italiana , Avionica Itc-irst , Marco Bozzano , Antonella Cavallo , Massimo Cifaldi , Laura Valacca , Adolfo Villafiorita
Venue:Proceedings of Formal Methods 2003 (LNCS 2805
Citations:20 - 4 self