Search for persons
X
?
Lecture Notes in Mechanical Engineering; Advances in Risk and Reliability Modelling and Assessment ,
2
Formal Verification of Conventionally Qualified Safety Crit..:
, In:
?
Lecture Notes in Networks and Systems; Advances in Distributed Computing and Machine Learning ,
12