Embedded Files
Generic architecture of the modelling environment
Generic architecture of the modelling environment
Material used in the article
Material used in the article
Model available at: http://hcispecs.di.uminho.pt/m/9
The MAL model
The MAL model
The IVY editor
The IVY editor
showing a fragment of the model
IVY's animator
IVY's animator
tabular and state-based views
The properties editor
The properties editor
Constructing guarded consistency and reversibility properties
A counter example
A counter example
Tabular representation of a trace produced by NuSMV
Page updated
Google Sites
Report abuse