Formal Specification and Development of a Safety-Critical Train Management System.

Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita

Browse the full SAFECOMP paper archive.