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'15)
11 / 2015
inproceedings