Model-Based Safety and Assessment
- Springer 2014
- Lecture Notes in Computer Science .
9783319122144
Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity