Publications
Below are the lists of papers, reports and talks from the COMPASS project ordered by year. Please click on the icon to download the respective file.
Publications
| 2012 | |
|---|---|
  | Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite. 34th International Conference on Software Engineering (ICSE), pages 1022–1031, ACM and IEEE CS Press, 2012. |