( en | de | ru )

 

Disambiguation of "Ciancamerla, Ester"

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.

Ester Nawrotzki

Ester Huber

Ester Kuhlmann

Ester Nawrotzki

Ester Sonin

 

Other publications of authors with the same name

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)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)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)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)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)Automatic Timeliness Verification of a Public Mobile Network., , , and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 35-48. Springer, (2003)Discrete Event Simulation of QoS of a SCADA System Interconnecting a Power Grid and a Telco Network., , , , , and . HCC, volume 328 of IFIP Advances in Information and Communication Technology, page 350-362. Springer, (2010)