Search results for: Louis-Marie Traonouez
Formal Aspects of Computing > 2019 > 31 > 2 > 165-206
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 397-422
Soft Computing > 2018 > 22 > 4 > 1139-1158
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 291-305
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 2: Robustness > 129-144
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools I > 54-57
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 6. Time Petri Nets > 280-294
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 4 > 469-484
Theoretical Computer Science > 2014 > 515 > Complete > 96-122
Communicating Embedded Systems > 165 - 225
Formal Methods in System Design > 2013 > 43 > 3 > 493-519