Back to Results
First PageMeta Content
Hardware 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 1
Add to Reading List

Document Date: 2012-12-31 04:25:31


Open Document

File Size: 104,95 KB

Share Result on Facebook
UPDATE