Telecharger Cours

Cours 2-8: vérification des syst`emes temps-réel - MPRI

MPRI - Cours 2-8: vérification des syst`emes temps-réel. TD: decidability. Updatable Timed Automata. ?x = 1. ?y = 1 y < 2. ?x = 1. ?y = 1 x > 1 x = 2/x := x + 1.



Download