( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.

, , , , , , , , , , и . CRiSIS, стр. 90-97. IEEE, (2009)

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.

Michele Ocken

Michele Galletti

Michele Ferrari

Hannelore Michele

Michèle Mattusch

 

Другие публикации лиц с тем же именем

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