Search results for: Andreas Ermedahl
Journal of Systems and Software > 2016 > 121 > C > 209-222
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 449-463
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > 308-319
Lecture Notes in Computer Science > Component-Based Software Engineering > Verification Techniques > 180-195
Journal of Systems Architecture > 2011 > 57 > 6 > 614-624
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 4 > 437-455