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:
Programming Enviroment based on
Up:
Survey of Courses per
Previous:
LTSA
 
Contents
2004-11-04