|
Search the dblp DataBase
Giovanni Dipoppa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Giovanni Dipoppa, G. D'Alessandro, R. Semprini, Enrico Tronci
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. [Citation Graph (0, 0)][DBLP] HASE, 2001, pp:209-0 [Conf]
- Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli
Electric Power System Anomaly Detection Using Neural Networks. [Citation Graph (0, 0)][DBLP] KES, 2004, pp:1242-1248 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] SAFECOMP, 1998, pp:231-242 [Conf]
- Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, G. Vicoli
Dependability and Survivability of Large Complex Critical Infrastructures. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2003, pp:342-353 [Conf]
Search in 0.002secs, Finished in 0.002secs
|