Languages
Ortmeier, Frank.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Language materials, printed)
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)
(Electronic resources)
Subjects
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