Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Daniel Sandell. Static Timing Analysis of Real-Time Operating Systems Code. In Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Volume TR-2004-6 of Technical Report, pages 126-133, Department of Computer Science, University of Cyprus, 2004.
@inproceedings{ErmedahlGLS04,
title = {Static Timing Analysis of Real-Time Operating Systems Code},
author = {Andreas Ermedahl and Jan Gustafsson and Björn Lisper and Daniel Sandell},
year = {2004},
tags = {operating system, analysis, static analysis},
researchr = {https://researchr.org/publication/ErmedahlGLS04},
cites = {0},
citedby = {0},
pages = {126-133},
booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß},
volume = {TR-2004-6},
series = {Technical Report},
publisher = {Department of Computer Science, University of Cyprus},
}