@dblp

An Approach to Model-based Development of Secure and Reliable Systems.

, , , and . ARES, page 260-265. IEEE Computer Society, (2011)

Links and resources

Tags