( en | de | ru )

 

Disambiguation of "Minichino, Michele"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Timeliness Verification of a Public Mobile Network.

, , , and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 35-48. Springer, (2003)

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.

Michele Galletti

Michele Ocken

Michele Ferrari

Hannelore Michele

Michèle Mattusch

 

Other publications of authors with the same name

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)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)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)Automatic Analysis of a Safety Critical Tele Control System., , , and . SAFECOMP, volume 3688 of Lecture Notes in Computer Science, page 94-107. Springer, (2005)An electrical grid and its SCADA under cyber attacks: Modelling versus a Hybrid Test Bed., , , , and . ICCST, page 1-6. IEEE, (2014)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)Automatic Timeliness Verification of a Public Mobile Network., , , and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 35-48. Springer, (2003)