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

Mihail Asavoae, Imane Haur, Mathieu Jan*, Belgacem Ben Hedia, Martin Schoeberl

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

66 Downloads (Pure)

Fingerprint Dive into the research topics of 'Towards Formal Co-validation of Hardware and Software Timing Models of CPSs'. Together they form a unique fingerprint.

Engineering & Materials Science