RT3-TUCS: How to Build a Certifiable and Safety Critical Railway Application with UML Notation

Jean-Louis Boulanger. RT3-TUCS: How to Build a Certifiable and Safety Critical Railway Application with UML Notation. In Hisham Al-Mubaid, Rym Zalila-Wenkstern, editors, 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30 - July 2, 2008, Omni Los Angeles Hotel at California Plaza, Los Angeles, California, USA, Proceedings. pages 182-187, ISCA, 2008.

Abstract

Abstract is missing.