Result 1 to 14 of 14 total
Testbeds for assessing critical scenarios in power control systems. (English)
Setola, Roberto (ed.) et al., Critical information infrastructure security. Third international workshop, CRITIS 2008, Rome, Italy, October 13‒15, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-03551-7/pbk). Lecture Notes in Computer Science 5508, 223-234 (2009).
1
ICT resilience of power control systems: experimental results from the CRUTIAL testbeds (English)
DSN, 554-559 (2009).
2
UML diagrams supporting domain specification inside the CRUTIAL project. (English)
Lopez, Javier (ed.) et al., Critical information infrastructures security. Second international workshop, CRITIS 2007, Málaga, Spain, October 3‒5, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-89095-9/pbk). Lecture Notes in Computer Science 5141, 106-123 (2008).
3
Effects of intentional threats to power substation control systems (English)
IJCIS 4, No. 1-2, 129-143 (2008).
4
Testbeds for assessing critical scenarios in power control systems (English)
CRITIS, 223-234 (2008).
5
UML diagrams supporting domain specification inside the CRUTIAL project (English)
CRITIS, 106-123 (2007).
6
Towards a methodological approach to specification and analysis of dependable automation systems. (English)
Lakhnech, Yassine (ed.) et al., Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22‒24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23167-6/pbk). Lecture Notes in Computer Science 3253, 36-51 (2004).
7
Towards a methodological approach to specification and analysis of dependable automation systems (English)
FORMATS/FTRTFT, 36-51 (2004).
8
A class diagram framework for collecting dependability requirements in automation systems (English)
ISoLA (Preliminary proceedings), 276-283 (2004).
9
Integrating recovery strategies into a primary substation automation system (English)
DSN, 80-85 (2003).
10
Flexible development of dependability services: an experience derived from energy automation systems (English)
ECBS, 86-93 (2002).
11
System fault tolerance specification: proposal of a method combining semi-formal and formal approaches (English)
FASE, 82-96 (2000).
12
Formal methods for the engineering and certification of safety-critical knowledge-based systems (English)
EUROVAV, 113-129 (1999).
13
Electrical equipment maintenance training and its application in industrial environment (English)
AI*IA, 399-408 (1991).
14
Result 1 to 14 of 14 total
Start
Contact
Print
General Help
