Project information

Automatic model analysis by state space exploration

Investor logo
Project Identification
Project Period
1/2007 - 12/2009
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics
modeling, simulation, verification, state space

The project focuses on three types of modeling formalisms: extended finite machines, system dynamics models, and agent based models.



Total number of publications: 8

You are running an old browser version. We recommend updating your browser to its latest version.

More info