Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL'. Together they form a unique fingerprint.

Computer Science