| 2004 |
|---|
| 4 | EE | Marco Martinelli,
Enrico Tronci,
Giovanni Dipoppa,
Claudio Balducelli:
Electric Power System Anomaly Detection Using Neural Networks.
KES 2004: 1242-1248 |
| 2003 |
|---|
| 3 | EE | 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 | EE | 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 |
