Author of the publication

Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.

, , , , , and . SAFECOMP, volume 2434 of Lecture Notes in Computer Science, page 212-223. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Improving resilience of interdependent critical infrastructures via an on-line alerting system, , , , , , , , , and 1 other author(s). Complexity in Engineering, 2010. COMPENG'10., page 88--90. IEEE, (2010)Performability Measures of the Public Mobile Network of a Tele Control System., and . SAFECOMP, volume 3219 of Lecture Notes in Computer Science, page 142-154. Springer, (2004)Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study., , , , , and . Reliab. Eng. Syst. Saf., 81 (3): 269-280 (2003)Automatic Verification of a Turbogas Control System with the Mur varphi Verifier., , , , , , , and . HSCC, volume 2623 of Lecture Notes in Computer Science, page 141-155. Springer, (2003)Improving Resilience of Interdependent Critical Infrastructures via an On-Line Alerting System., , , , , , , , , and 14 other author(s). COMPENG, page 88-90. IEEE Computer Society, (2010)An electrical grid and its SCADA under cyber attacks: Modelling versus a Hybrid Test Bed., , , , and . ICCST, page 1-6. IEEE, (2014)Automatic Analysis of a Safety Critical Tele Control System., , , and . SAFECOMP, volume 3688 of Lecture Notes in Computer Science, page 94-107. Springer, (2005)A Tool for Network Reliability Analysis., , , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 417-422. Springer, (2007)Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System., , , , , and . SAFECOMP, volume 2434 of Lecture Notes in Computer Science, page 212-223. Springer, (2002)Towards energy efficiency of interdependent urban networks., , , , , , , and . Int. J. Simul. Process. Model., 11 (6): 529-546 (2016)