Formalization of UML Profile for Safety Critical Systems

Komárek, M.

KOMÁREK, M. Formalization of UML Profile for Safety Critical Systems. In: Proceedings of Workshop 2007. Workshop 2007, Praha, 2007-02-19/2007-02-23. Praha: České vysoké učení technické v Praze, 2007. pp. 108-109. ISBN 978-80-01-03667-9.