Search results for: Claire Pagetti
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 > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 71-83
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 3. Case Studies > 155-169
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 114-125
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) > 7A2-1 - 7A2-14
Real-Time Systems > 2015 > 51 > 5 > 526-565
ETFA2011 > 1 - 8
ETFA2011 > 1 - 8
Discrete Event Dynamic Systems > 2011 > 21 > 3 > 307-338
Innovations in Systems and Software Engineering > 2009 > 5 > 3 > 163-179