Accueil
>
Verimag
>
Publications
Technical Reports
Paolo Torrini, Paul Caspi, Pascal Raymond
From Fault-Trees to Safety Conditions (2007)
TR-2007-6.pdf
Keywords:
Fault trees, safety conditions, formal verification
Abstract:
/BOUCLE_trep>
Navigation
Rubriques
Verimag
Membres
Publications
Avec comité de lecture
Rapports Techniques
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Documents
Axes
Contact
Plan du site
Acces au Batiment
Actualités
Nouvelles publications
Quelques Publications Récentes
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna:
Model checking of distributed algorithms using synchronous programs
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes:
Self-stabilizing synchronous unison in directed networks
Florence Maraninchi:
Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics
Sylvain Boulmé:
Construire des logiciels fiables
Offres d'emploi et stages
Offres d'emploi et stages
[Funded PhD] Fault Injection Attacks : Automated Analysis of Counter-Measures At The Binary Level
[Master]Leakage in presence of an active and adaptive adversary
[PostDoc] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.2
+
AHUNTSIC
[CC License]
info visites
4858335
English
Français