Towards Formal Co-validation of Hardware and Software Timing Models of CPSs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl. Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. In Roger D. Chamberlain, Martin Grimheden, Walid Taha, editors, Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. Volume 11971 of Lecture Notes in Computer Science, pages 203-227, Springer, 2019. [doi]

This author has not been identified. Look up 'Mihail Asavoae' in GoogleThis author has not been identified. Look up 'Imane Haur' in GoogleThis author has not been identified. Look up 'Mathieu Jan' in GoogleThis author has not been identified. Look up 'Belgacem Ben Hedia' in GoogleThis author has not been identified. Look up 'Martin Schoeberl' in Google

runs on WebDSL