C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Symbolic Model Checking and Safety Assessment of Altarica models.
Marco Bozzano
Alessandro Cimatti
Oleg Lisagor
Cristian Mattarei
Sergio Mover
Marco Roveri
Stefano Tonetta
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
</>
symbolic model checking
safety analysis
probabilistic model
domain specific
partial observability