Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm
Static Timing Analysis for Hard Real-Time Systems
VMCAI, 2010.
@inproceedings{VMCAI-2010-WilhelmABGHRWW,
author = "Reinhard Wilhelm and Sebastian Altmeyer and Claire Burguière and Daniel Grund and Jörg Herter and Jan Reineke and Björn Wachter and Stephan Wilhelm",
booktitle = "{Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/978-3-642-11319-2_3",
isbn = "978-3-642-11318-5",
pages = "3--22",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Static Timing Analysis for Hard Real-Time Systems}",
volume = 5944,
year = 2010,
}
Tags: