Login / Signup

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

Gérard Berry
Published in: FMICS (2007)
Keyphrases