Embedded Files
Generic architecture of the modelling environment
Generic architecture of the modelling environment
Material used in the article
Material used in the article
Task model
Task model
Perform descent preparation
ICO model
ICO model
Behaviour of the barometer settings
ICO model with traps highlighted
ICO model with traps highlighted
Visual presentation of formal analysis results
Visual presentation of formal analysis results
Activation function
Activation function
Rendering function
Rendering function
Additionnal materials from the case study
Additionnal materials from the case study
Additionnal task models from the case study
Additionnal task models from the case study
Additionnal ICO models from the case study
Additionnal ICO models from the case study
ICO models static analysis tool
ICO models static analysis tool
Correspondence editor (between task models and ICO models)
Correspondence editor (between task models and ICO models)
Correspondence panel
Correspondence panel
Zoom in input and output correspondence tables
Zoom in input and output correspondence tables
A closer look at the relationships between tables' cells and models
A closer look at the relationships between tables' cells and models
Page updated
Google Sites
Report abuse