Combining an Iterative State-based Timing Analysis with a Refinement Checking Technique

BIB
Tayfun Gezgin and Björn Koopmann and Achim Rettberg
Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS 2015)
11 / 2015
inproceedings

OFFIS Autoren

Jun.-Prof. Dr. Achim Rettberg
Jun.-Prof. Dr.
Achim Rettberg