語系
Ortmeier, Frank.
概要
作品: | 12 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Computer safety, reliability, and security = SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
Ortmeier, Frank.; Daniel, Peter.; SpringerLink (Online service)
(書目-電子資源)
Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
Ortmeier, Frank.; Daniel, Peter.; SpringerLink (Online service)
(書目-電子資源)
Model-based safety and assessment = 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings /
by:
Ortmeier, Frank.; Rauzy, Antoine.; SpringerLink (Online service)
(書目-電子資源)
Computer safety, reliability, and security = SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014 : proceedings /
by:
Bondavalli, Andrea.; Ceccarelli, Andrea.; Ortmeier, Frank.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer systems- Reliability
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Safety appliances- Simulation methods
Computer systems- Simulation methods
Artificial Intelligence (incl. Robotics)
Computers- Reliability
Algorithm Analysis and Problem Complexity.
Reliability (Engineering)- Simulation methods
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Programming Languages, Compilers, Interpreters.
Computer security
System safety- Simulation methods
Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computers and Society.
Computer software- Reliability
Computer Systems Organization and Communication Networks.