Search results for: Marc Boyer
Analytical and Bioanalytical Chemistry > 2017 > 409 > 30 > 6959-6973
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 122-136
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 137-151
Lecture Notes in Computer Science > Interactive Distributed Multimedia Systems and Telecommunication Services > 171-182
Lecture Notes in Computer Science > FME 2003: Formal Methods > Communications System Verification > 264-281
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 121-121
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Concurrent, Communicating, Timing and Probabilistic Systems > 360-379
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Real Time > 404-419
ETFA2011 > 1 - 8
Petri Nets > Fundamental Models > 123 - 161
Petri Nets > Verification and Application of Petri Nets > 501 - 525