Workshop on Critical Systems Development with UML

UML bib

Dresden, German, 30th September, 2002 (Conference Home)

Invited talk

Safety

Formal Design Methods

Security

Security (II), Formal Design Methods (II)

Short papers (posters)


[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.