Giovanni Dipoppa

	2004
4		Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli: Electric Power System Anomaly Detection Using Neural Networks. KES 2004: 1242-1248
	2003
3		Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli: Dependability and Survivability of Large Complex Critical Infrastructures. SAFECOMP 2003: 342-353
	2001
2		Giovanni Dipoppa, G. D'Alessandro, R. Semprini, Enrico Tronci: Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. HASE 2001: 209-
	1998
1		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: 231-242

Coauthor Index

1	Claudio Balducelli	[3] [4]
2	Gino Biondi	[1]
3	Sandro Bologna	[1] [3]
4	Rocco Bove	[1]
5	G. D'Alessandro	[2]
6	Niels Kirkegaard	[1]
7	Marco Martinelli	[4]
8	Giorgio Mongardi	[1]
9	Benny Graft Mortensen	[1]
10	Carmen Porzia	[1]
11	R. Semprini	[2]
12	Enrico Tronci	[2] [4]
13	Giordano Vicoli	[3]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page