| 2004 |
|---|
| 6 | EE | Simona Bernardi,
Susanna Donatelli,
Giovanna Dondossola:
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.
FORMATS/FTRTFT 2004: 36-51 |
| 2003 |
|---|
| 5 | EE | Geert Deconinck,
Vincenzo De Florio,
Ronnie Belmans,
Giovanna Dondossola,
Judit Szanto:
Integrating Recovery Strategies into a Primary Substation Automation System.
DSN 2003: 80-85 |
| 2002 |
|---|
| 4 | EE | Vincenzo De Florio,
Susanna Donatelli,
Giovanna Dondossola:
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems.
ECBS 2002: 86-93 |
| 2000 |
|---|
| 3 | EE | Giovanna Dondossola,
Oliver Botti:
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.
FASE 2000: 82-96 |
| 1999 |
|---|
| 2 | | Giovanna Dondossola:
Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems.
EUROVAV 1999: 113-129 |
| 1991 |
|---|
| 1 | | Alberta Bertin,
Fabio Buciol,
Giovanna Dondossola,
Cristina Lanza:
Electrical Equipment Maintenance Training and Its Application in Industrial Environment.
AI*IA 1991: 399-408 |
