next up previous contents
Next: Programming Enviroment based on Up: Survey of Courses per Previous: LTSA   Contents

LOTREC

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
FORMEL S7 Methodes formelles, verification, model checking Brest L. Marcé CTL , LTL , Lotrec , MC

next up previous contents
Next: Programming Enviroment based on Up: Survey of Courses per Previous: LTSA   Contents
2004-11-04