Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.

Grard Berry

Browse the full FMICS paper archive.