Safe-UML - Restricting UML for the development of safety-critical systems

BIB
Hungar, Hardi and Robbe, Oliver and Wirtz, Boris
Proceedings FORMS/FORMAT 2007
01 / 2007
inproceedings
467-475