Languages
Flammini, Francesco.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Railway safety, reliability, and securitytechnologies and systems engineering /
by:
Flammini, Francesco.; IGI Global.
(Electronic resources)
Computer safety, reliability, and security30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings /
by:
(1998 :); Bologna, Sandro.; Flammini, Francesco.; SpringerLink (Online service); Vittorini, Valeria.
(Electronic resources)
Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
Flammini, Francesco.; Lang, Frederic.; SpringerLink (Online service)
(Language materials, printed)
Resilience of cyber-physical systemsfrom risk modelling to threat counteraction /
by:
Flammini, Francesco.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Railroads
Computer software
Business IT Infrastructure.
Special Purpose and Application-Based Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer security
Computer programs
Security.
Computers
Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computers and Society.
Cybercrime.
Cooperating objects (Computer systems)
Quality Control, Reliability, Safety and Risk.