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