Search results for: Björn Lisper
Science of Computer Programming > 2017 > 133 > P1 > 74-87
Journal of Systems and Software > 2016 > 121 > C > 209-222
Lecture Notes in Computer Science > Static Analysis > 208-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
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Non-functional Requirements in Embedded Systems > 445-459
Real-Time Systems > 2016 > 52 > 6 > 731-760