Search results for: François Vernadat
Science of Computer Programming > 2016 > 132 > P2 > 209-225
Lecture Notes in Computer Science > Automatic Verification Methods for Finite State Systems > 286-293
IFIP — The International Federation for Information Processing > Knowledge Sharing in the Integrated Enterprise > ICEIMT 4 > 303-313
Computers in Industry > 2016 > 79 > C > 3-13
Computers in Industry > 2016 > 79 > C > 34-46
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 82-97
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > State Space Reductions > 442-457
Lecture Notes in Computer Science > Concurrent Object-Oriented Programming and Petri Nets > Section III > 473-492
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 523-532
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 187-206
IFIP — The International Federation for Information Processing
Lecture Notes in Business Information Processing > Enterprise Information Systems > Part III: Information Systems Analysis and Specification > 286-300
ETFA2011 > 1 - 8