Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels. Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded 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 I. Volume 6415 of Lecture Notes in Computer Science, pages 58-59, Springer, 2010. [doi]

This author has not been identified. Look up 'Yamine Aït Ameur' in GoogleThis author has not been identified. Look up 'Frédéric Boniol' in GoogleThis author has not been identified. Look up 'Dominique Méry' in GoogleThis author has not been identified. Look up 'Virginie Wiels' in Google

runs on WebDSL