Filtrer vos résultats
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
|
|
triés par
|
Validation formelle d’implantation de patrons de sécurité : Application aux SCADAAFADL 2016, Jun 2016, Besançon, France
Communication dans un congrès
hal-01326340v1
|
|||
|
Context-aware approach for formal verificationEAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
Article dans une revue
hal-01298623v1
|