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