Corrigé de l'examen final_TS412
1) Logique temporelle : Nous supposons que nous étudions un système possédant 3 variables d'état booléennes V ={ p, q, r}. Donner les formules LTL dont la ...
1) Logique temporelle : Nous supposons que nous étudions un système possédant 3 variables d'état booléennes V ={ p, q, r}. Donner les formules LTL dont la ...