Francesco Flammini
3 published titles
Computer Safety, Reliability, and Security : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642242694
- Springer
- 2011
- Details
Critical infrastructure security : assessment, prevention, detection, response
(Contributor)
1 edition
- ISBN: 9781845645625
- WIT Press
- 2012
- Details
Formal methods for industrial critical systems : 19th international conference FMICS 2014 Florence, Italy, September 11-12, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783319107011
- Springer
- 2014
- Details
