Search results for: Jean-Luc Scharbarg
IEEE Transactions on Industrial Informatics > 2017 > 13 > 2 > 877 - 887
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 > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 228-242
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) > 10A5-1 - 10A5-12
Ad Hoc Networks > 2015 > 24 > Part B > 21-33