Carmen Porzia

Publication Activity (10 Years)

Years Active: 1998-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)
Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard
Applying Formal Methods in Industry The UseGat Project. SAFECOMP (1998)