Date: 2012-12-31 04:25:31Hardware description languages Synchronous programming languages Software engineering Formal methods Computing Electronic engineering Esterel SIGNAL Model checking Embedded system Real-time computing Esterel Technologies | | TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1Add to Reading ListSource URL: www-verimag.imag.frDownload Document from Source Website File Size: 104,95 KBShare Document on Facebook
|