Search results for: Peter Puschner
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Real-Time Systems > 23-34
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > 47-57
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Validation of Embedded and Ubiquitous Systems > 137-148
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Real Time > 150-161
Lecture Notes in Computer Science > Embedded Software > Regular Papers > 190-205
Lecture Notes in Computer Science > Software and Compilers for Embedded Systems > Analysis and Profiling > 298-312
Lecture Notes in Computer Science
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 > 430-444
Journal of Systems Architecture > 2015 > 61 > 9 > 449-471