Back to Results
First PageMeta Content
Models of computation / Model checkers / Esterel / Automata theory / Model checking / SIGNAL / Theoretical computer science / Uppaal Model Checker / Computing / Hardware description languages / Synchronous programming languages / Software engineering


✲ 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
UPDATE