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

Jean-Louis Boulanger

Published in: SEDE (2008)

Keyphrases

formal methods
safety critical
real time
databases
software engineering
fault tolerant
modeling language
machine learning
knowledge representation
class diagram