Formal Safety Assessment via Contract-Based Design.

Marco Bozzano Alessandro Cimatti Cristian Mattarei Stefano Tonetta

Published in: ATVA (2014)

Keyphrases

computer aided
design process
data sets
case study
user interface
conceptual model
design decisions
design methodology
assessment tool