語系
Flammini, Francesco.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Railway safety, reliability, and securitytechnologies and systems engineering /
by:
Flammini, Francesco.; IGI Global.
(書目-電子資源)
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.
(書目-電子資源)
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)
(書目-語言資料,印刷品)
Resilience of cyber-physical systemsfrom risk modelling to threat counteraction /
by:
Flammini, Francesco.; SpringerLink (Online service)
(書目-電子資源)
主題
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.