Tool Support for Model-Driven Development of Security-Critical Systems with UML

Jan Jürjens, Pasha Shabalin. Tool Support for Model-Driven Development of Security-Critical Systems with UML. In Sami Beydeda, Matthias Book, Volker Gruhn, editors, Model-Driven Software Development. pages 35-55, Springer, 2005. [doi]

Abstract

Abstract is missing.