Spacecraft early design validation using formal methodsOpen Website

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri

2014 (modified: 18 Feb 2023)Reliab. Eng. Syst. Saf. 2014Readers: Everyone
0 Replies