Formal correctness, safety, dependability, and performance analysis of a satellite.

Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein

Browse the full ICSE paper archive.