"Tool Support for Model-Driven Development of Security-Critical Systems ..."

Jan Jürjens, Pasha Shabalin (2005)

Details and statistics

DOI: 10.1007/3-540-28554-7_3

access: closed

type: Part in Book or Collection

metadata version: 2019-07-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics