CORDIS
EU research results

CORDIS

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

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