Search results for: Richard St-Denis
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 2 > 121-141
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 74-85
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Validation and Verification > 483-494
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 487-490
Science of Computer Programming > 2014 > 94 > Part 2 > 217-237
IEEE Transactions on Control Systems Technology > 2013 > 21 > 5 > 1570 - 1585
Discrete Event Dynamic Systems > 2009 > 19 > 2 > 213-265
Innovations in Systems and Software Engineering > 2008 > 4 > 3 > 285-292
Electronic Notes in Theoretical Computer Science > 2006 > 149 > 2 > 91-104
Nuclear Inst. and Methods in Physics Research, A > 2004 > 534 > 1-2 > 38-41
The Journal of Systems & Software > 2002 > 60 > 2 > 103-112
Discrete Event Dynamic Systems > 1999 > 9 > 2 > 147-169