Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft early design validation using formal methods. Rel. Eng. & Sys. Safety, 132:20-35, 2014. [doi]
@article{BozzanoCKKMNNPR14,
title = {Spacecraft early design validation using formal methods},
author = {Marco Bozzano and Alessandro Cimatti and Joost-Pieter Katoen and Panagiotis Katsaros and Konstantinos Mokos and Viet Yen Nguyen and Thomas Noll and Bart Postma and Marco Roveri},
year = {2014},
doi = {10.1016/j.ress.2014.07.003},
url = {http://dx.doi.org/10.1016/j.ress.2014.07.003},
researchr = {https://researchr.org/publication/BozzanoCKKMNNPR14},
cites = {0},
citedby = {0},
journal = {Rel. Eng. & Sys. Safety},
volume = {132},
pages = {20-35},
}