Efficient Anytime Techniques for Model-Based Safety Analysis

Article Details
Title:	Efficient Anytime Techniques for Model-Based Safety Analysis
Article URLs:	https://doi.org/10.1007/978-3-319-21690-4_41 https://www.wikidata.org/entity/Q62041114
Alternative Article URLs:
Authors:	Marco Bozzano	Fondazione Bruno Kessler
	Alessandro Cimatti	Fondazione Bruno Kessler
	Alberto Griggio	Fondazione Bruno Kessler
	Cristian Mattarei	Fondazione Bruno Kessler
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://es-static.fbk.eu/people/mattarei/dist/FTA2015/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/BozzanoCGM15
Author Comments:

Computer Aided Verification, CAV 2015