A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka. A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Volume 6416 of Lecture Notes in Computer Science, pages 397-411, Springer, 2010. [doi]

This author has not been identified. Look up 'Steffen Kollmann' in GoogleThis author has not been identified. Look up 'Victor Pollex' in GoogleThis author has not been identified. Look up 'Kilian Kempf' in GoogleThis author has not been identified. Look up 'Frank Slomka' in Google

runs on WebDSL