Search results for: Jerome Ermont
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 243-257
ETFA2011 > 1 - 4
ETFA2011 > 1 - 8
Innovations in Systems and Software Engineering > 2009 > 5 > 3 > 163-179