CORDIS
Forschungsergebnisse der EU

CORDIS

Deutsch DE
A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

A Correct-by-Construction Workbench for Design and Verification of Embedded Systems