Why Model Checking Can Improve WCET Analysis
Metzner, A.
Proceedings of the 16th International Conference on Computer Aided Verification (CAV'04)
01 / 2004
1
inproceedings
Springer-Verlag
Lecture Notes in Computer Science 3114
Springer-Verlag
