Static Timing Analysis of Real-Time Operating System Code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper. Static Timing Analysis of Real-Time Operating System Code. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Volume 4313 of Lecture Notes in Computer Science, pages 146-160, Springer, 2004. [doi]

This author has not been identified. Look up 'Daniel Sandell' in GoogleThis author has not been identified. Look up 'Andreas Ermedahl' in GoogleThis author has not been identified. Look up 'Jan Gustafsson' in GoogleThis author has not been identified. It may be one of the following persons:

Björn Lisper

Look up 'Björn Lisper' in Google

runs on WebDSL