|
Notations
|
Within the MEFISTO consortium three notations have been selected
for task models, system modelling and checking system's properties. They
are:
ConcurTaskTrees
for task models
ICO Petri Nets for
system modelling
Temporal Logic for
system's properties
Home Overview
Goals Contact
list Planning of Work
Workspace
Related Links Statistics