Search results for: Frederic Boniol
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 243-257
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 58-59
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 3. Case Studies > 155-169
ETFA2011 > 1 - 8
Discrete Event Dynamic Systems > 2011 > 21 > 3 > 307-338
Innovations in Systems and Software Engineering > 2009 > 5 > 3 > 163-179
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 6 > 471-484