Search results
Lecture Notes in Computer Science > Engineering Psychology and Cognitive Ergonomics > Aerospace and Military Applications > 565-571
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 167-182