| |
| 1999 | ||
|---|---|---|
| 1 | EE | A. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP 1999: 410-419 |
| 1 | A. Chiappini | [1] |
| 2 | Alessandro Cimatti | [1] |
| 3 | Carmen Porzia | [1] |
| 4 | Roberto Sebastiani | [1] |
| 5 | Paolo Traverso | [1] |
| 6 | Adolfo Villafiorita | [1] |