14 citations · 28 across the 4 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…