G. Rotondo

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Angelo 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)