語系
Papadopoulos, Yiannis.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model-based safety and assessment5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings /
by:
(1998 :); Bozzano, Marco.; Papadopoulos, Yiannis.; SpringerLink (Online service)
(書目-電子資源)
Model-based safety and assessment6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings /
by:
(1998 :); Papadopoulos, Yiannis.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Reliability (Engineering)
Computer systems
Algorithm Analysis and Problem Complexity.
Algorithms
Control Structures and Microprogramming.
Special Purpose and Application-Based Systems.
Computer logic
Computer science
Safety appliances
Computer Science.
Computers, Special purpose
Logic, Symbolic and mathematical
Computer System Implementation.
Systems and Data Security.
System safety