The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry. The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus. 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 I. Volume 6415 of Lecture Notes in Computer Science, pages 122-136, Springer, 2010. [doi]

This author has not been identified. Look up 'Marc Boyer' in GoogleThis author has not been identified. Look up 'Nicolas Navet' in GoogleThis author has not been identified. Look up 'Xavier Olive' in GoogleThis author has not been identified. Look up 'Eric Thierry' in Google

runs on WebDSL