Back to Results
First PageMeta Content
Hardware description languages / Synchronous programming languages / Model checkers / Formal methods / Timed automaton / Esterel / Model checking / Uppaal Model Checker / SIGNAL


✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU
Add to Reading List

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


Open Document

File Size: 147,64 KB

Share Result on Facebook