( en | de | ru )

 

Disambiguation of "Rástocný, Karol"

Author of the publication

copydeleteadd this publication to your clipboard
The Use of UML for Development of a Railway Interlocking System.

, , and . SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 174-198. Springer, (2004)

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.

Stefan Rastocny

Helga Karolewski

August Karolus

Martin Karollus

Lásló Károlyi

 

Other publications of authors with the same name

Quantitative Assessment of Safety Integrity Level of Message Transmission Between Safety-Related Equipment., , , and . Comput. Informatics, 33 (2): 343-368 (2014)UML - A Part of an Interlocking System Development Process., and . TST, volume 329 of Communications in Computer and Information Science, page 293-300. Springer, (2012)Failure Effects Analysis by Multiple Random Variable., , and . TST, volume 715 of Communications in Computer and Information Science, page 424-435. Springer, (2017)Hazardous Failure Rate of the Safety Function., and . TST, volume 531 of Communications in Computer and Information Science, page 284-291. Springer, (2015)Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System., and . FORMS/FORMAT, page 77-85. Springer, (2010)Supporting Search Result Browsing and Exploration via Cluster-Based Views and Zoom-Based Navigation., , and . Web Intelligence/IAT Workshops, page 297-300. IEEE Computer Society, (2011)978-0-7695-4513-4.Lightweight Semantics over Web Information Systems Content Employing Knowledge Tags., and . ER Workshops, volume 7518 of Lecture Notes in Computer Science, page 327-336. Springer, (2012)Proposal of on-Line Key Management System Solutions for Railway Applications Based on Asymmetric Cryptography., , , and . TST, volume 531 of Communications in Computer and Information Science, page 188-197. Springer, (2015)Some Specific Activities at the Railway Signalling System Development., , and . TST, volume 329 of Communications in Computer and Information Science, page 349-355. Springer, (2012)Modelling of Hazards Effect on Safety Integrity of Open Transmission Systems., , , and . Comput. Informatics, 35 (2): 470-496 (2016)