TY  - RPRT
TI  - Formal Safety and Security Assessment of an Avionic Architecture with Alloy
AU  - Julien Brunel
AU  - Laurent Rioux
AU  - Stéphane Paul
AU  - Anthony Faucogney
AU  - Frédérique Vallée
PY  - 2014
DO  - 10.4204/eptcs.150.2
UR  - https://arxiv.org/abs/1405.1113
ID  - 1405.1113
ER  -