Search results for: Fabien Peureux
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 467-491
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Testing of Labeled Transition Systems > 173-200
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 188-204
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 70-85
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 309-329
Journal of Signal Processing Systems > 2016 > 83 > 1 > 113-128
Innovations in Systems and Software Engineering > 2011 > 7 > 4 > 247-256
International Journal on Software Tools for Technology Transfer > 2004 > 6 > 2 > 143-157