Publications

fme2003

Summary

M. Bozzano, A. Cavallo, M. Cifaldi, L. Valacca and A. Villafiorita (2003) Improving Safety Assessment of Complex Systems: An industrial case study. In Proc. Formal Methods, International Symposium of Formal Methods Europe (FME 2003), (Kejiro Araki and Stefania Gnesi and Dino Mandrioli, Eds.) Springer, pages 208-222.

BibTeX Entry

@INPROCEEDINGS { bozzano2003improving,
  AUTHOR = { Bozzano, Marco and Cavallo, Antonella and Cifaldi, Massimo and Valacca, Laura and Villafiorita, Adolfo },
  TITLE = { Improving safety assessment of complex systems: An industrial case study },
  BOOKTITLE = { FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings },
  PAGES = { 208--222 },
  YEAR = { 2003 },
  PUBLISHER = { Springer }
}