Search results for: Olivier H. Roux
Fundamenta Informaticae > 2021 > Vol. 183, nr 1-2 > 97--123
2017 IEEE Intelligent Vehicles Symposium (IV) > 1841 - 1847
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 291-305
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 307-326
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools I > 54-57
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Full papers > 371-390
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Petri Nets > 211-225
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 6. Time Petri Nets > 280-294
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 273-284
Discrete Event Dynamic Systems > 2016 > 26 > 4 > 583-610
IEEE Transactions on Software Engineering > 2015 > 41 > 5 > 445 - 461
Communicating Embedded Systems > 1 - 37