Search results for: Raimund Kirner
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 > Model-Based Testing of Reactive Systems > Model-Based Test Case Generation > 355-387
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 487-490
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective > 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 > Error Detection and System Failures > 131-142
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
IEEE Transactions on Parallel and Distributed Systems > 2016 > 27 > 3 > 913 - 926
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Non-functional Requirements in Embedded Systems > 430-444
Real-Time Systems > 2016 > 52 > 1 > 38-87
EURASIP Journal on Embedded Systems > 2016 > 2016 > 1 > 1-17
Software Testing, Verification and Reliability > 24 > 3 > 184 - 218