Next:
RAISE tools
Up:
Survey of Courses per
Previous:
Hugs
 
Contents
NuSMV
Number of courses selected: 2
Ref
Y/S
Module
Institution
Contact
Topics/Langs/Tools
ELP-III
3
Programming Logics III
Minho
J.M. Valença
INA
,
MC
,
NuSMV
,
PEP
,
Petri
214012
Protocol Validation
Twente
J.-P. Katoen
CTL
,
LTL
,
NuSMV
,
PV
,
SPIN
,
UPPAAL
Next:
RAISE tools
Up:
Survey of Courses per
Previous:
Hugs
 
Contents
2004-11-04