Giovanna Dondossola

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
6EESimona Bernardi, Susanna Donatelli, Giovanna Dondossola: Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT 2004: 36-51
2003
5EEGeert Deconinck, Vincenzo De Florio, Ronnie Belmans, Giovanna Dondossola, Judit Szanto: Integrating Recovery Strategies into a Primary Substation Automation System. DSN 2003: 80-85
2002
4EEVincenzo De Florio, Susanna Donatelli, Giovanna Dondossola: Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. ECBS 2002: 86-93
2000
3EEGiovanna 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

Coauthor Index

1Ronnie Belmans [5]
2Simona Bernardi [6]
3Alberta Bertin [1]
4Oliver Botti [3]
5Fabio Buciol [1]
6Geert Deconinck [5]
7Susanna Donatelli [4] [6]
8Vincenzo De Florio [4] [5]
9Cristina Lanza [1]
10Judit Szanto [5]

Colors in the list of coauthors

Copyright © Fri Aug 29 17:39:25 2008 by Michael Ley (ley@uni-trier.de)