19 citations · 33 across the 2 of their papers we have counts for
1 paper · 1 filter
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…