Angelo Chiappini

	2010
2		Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini: Formalization and validation of a subset of the European Train Control System. ICSE (2) 2010: 109-118
	1999
1		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: 410-419

Coauthor Index

1	Alessandro Cimatti	[1] [2]
2	Luca Macchi	[2]
3	Carmen Porzia	[1]
4	Oscar Rebollo	[2]
5	G. Rotondo	[1]
6	Marco Roveri	[2]
7	Roberto Sebastiani	[1]
8	Angelo Susi	[2]
9	Stefano Tonetta	[2]
10	Paolo Traverso	[1]
11	Adolfo Villafiorita	[1]
12	Berardino Vittorini	[2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page