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)
Domaines
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|---|
| Licence |