Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Cristian Mattarei

Automated Analysis of Reliability Architectures

scientific article published in July 2013

Efficient Anytime Techniques for Model-Based Safety Analysis

scientific article published in 2015

Safety assessment of AltaRica models via symbolic model checking

scientific article published in February 2015

Supporting Requirements Validation: The EuRailCheck Tool

scientific article published in November 2009

Paulina is supported by:

About Paulina

Help