C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Spacecraft early design validation using formal methods.
Marco Bozzano
Alessandro Cimatti
Joost-Pieter Katoen
Panagiotis Katsaros
Konstantinos Mokos
Viet Yen Nguyen
Thomas Noll
Bart Postma
Marco Roveri
Published in:
Reliab. Eng. Syst. Saf. (2014)
Keyphrases
</>
formal methods
knowledge based systems
development lifecycle
reactive systems
artificial intelligence
case study
formal analysis
safety critical
machine learning
model checking
space shuttle
user interface
modeling language
formal specification