Search results for: Bruno Dutertre
Lecture Notes in Computer Science > Security Protocols > 158-178
Lecture Notes in Computer Science > Ad-Hoc, Mobile, and Wireless Networks > Routing in Sensor Networks > 19-31
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 199-214
2013 Formal Methods in Computer-Aided Design > 189 - 196
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) > 9D2-1 - 9D2-11
The Journal of Systems & Software > 1995 > 28 > 1 > 77-87