Model-Based Safety and Assessment
Yiannis Papadopoulos
Model-Based Safety and Assessment - 2019 - springer 2019 - Lecture Notes in Computer Science .
9783030328726
Computer Science
Computer Science Logic and Foundations of Programming
Model-Based Safety and Assessment - 2019 - springer 2019 - Lecture Notes in Computer Science .
9783030328726
Computer Science
Computer Science Logic and Foundations of Programming