Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile

Kirsten Berkenk├Âtter, Ulrich Hannemann. Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. In Janusz G├│rski, editor, Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings. Volume 4166 of Lecture Notes in Computer Science, pages 398-411, Springer, 2006. [doi]

Abstract

Abstract is missing.