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

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

OFFIS Autoren