Search results for: Thierry Jéron
Journal of Systems and Software > 2017 > 132 > C > 353-365
Formal Methods in System Design > 2017 > 51 > 1 > 154-199
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 204-219
Science of Computer Programming > 2016 > 123 > C > 2-41
Lecture Notes in Computer Science > Integrated Formal Methods > Verification and Validation > 338-357
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Testing > 349-364
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 96-111
Lecture Notes in Computer Science > STACS 91 > 322-333
Lecture Notes in Computer Science > Computer Aided Verification > Protocol Verification and Testing > 108-122
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 97-113
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Automata Theory > 245-259
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Papers > 470-475