Search results for: Clement Ballabriga
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Real-Time Systems > 35-46
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 479-482
2013 IEEE 34th Real-Time Systems Symposium > 128 - 139