14 citations · 14 across the 1 of their papers we have counts for
1 paper
Julien Brunel, Laurent Rioux, Stéphane Paul +2
We propose an approach based on Alloy to formally model and assess a system architecture with respect to safety and security requirements. We illustrate this approach by considerin…