Languages
Bozzano, Marco.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings /
by:
Bozzano, Marco.; Papadopoulos, Yiannis.; Katsaros, Panagiotis.; SpringerLink (Online service); Aslansefat, Koorosh.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Design and safety assessment of critical systems /
by:
Villafiorita, Adolfo.; Bozzano, Marco.
(Language materials, printed)
Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings /
by:
Papadopoulos, Yiannis.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bozzano, Marco.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Computer System Implementation.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Software engineering.
System safety
Architecture, Computer.
Computer Science.
Microprogramming .
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Safety appliances
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Reliability (Engineering)
Computer systems
Industrial safety.
Computer security.