Reports, books,... aimed at a business audience, published by CETIC or with a contribution from CETIC.
Christophe Ponsard, Robert Darimont, Formalizing Security and Safety Requirements by Mapping Attack-Fault Trees on Obstacle Models with Constraint Programming Semantics, Formal Requirements (...)
FADI: Context, Architecture, Sample use case, Conclusion and References.
Ce document est un résumé rédigé à l’attention des citoyens du rapport annuel de mise en œuvre du Programme opérationnel FEDER 2014-2020.
The eHealth for citizens project has been proposed to REGIOSTARS :Europe’s awards for the most innovative, regional projects. The public is called upon to support the projects by voting for them. (...)