Spacecraft early design validation using formal methods
Bozzano, Marco, Cimatti, Alessandro, Katoen, Joost-Pieter, Katsaros, Panagiotis, Mokos, Konstantinos, Nguyen, Viet Yen, Noll, Thomas, Postma, Bart, Roveri, MarcoVolume:
132
Language:
english
Journal:
Reliability Engineering & System Safety
DOI:
10.1016/j.ress.2014.07.003
Date:
December, 2014
File:
PDF, 2.48 MB
english, 2014