Communication Dans Un Congrès Année : 2008

The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems

Résumé

This paper gives a brief overview of the research taking place in the context of the FAERUS project which is one of the mini-projects affiliated to the EU-IST Network of Excellence RESIST (IST-2006-026764)

Fichier principal
Vignette du fichier
EDCC-7_Palanque.pdf (139.64 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-03662269 , version 1 (10-05-2022)

Licence

Identifiants

  • HAL Id : hal-03662269 , version 1

Citer

Giorgio Faconti, Michael Harrison, Mieke Massink, Philippe Palanque. The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems. 7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunaas, Lithuania. pp.11-14. ⟨hal-03662269⟩
77 Consultations
76 Téléchargements

Partager

  • More