Search for persons
X
?
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems ,
11
Formal analysis of safety-critical system simulations:
, In:
?
Proceedings of the 2011 International Symposium on Software Testing and Analysis ,
12