Bookmark and Share

E - Méthodes de SdF. Ingénierie des modèles

 

! L'accès aux communications est réservé aux congressistes. L'accès sera également accordé sur demande (par email à irevues@inist.fr) à tout co-auteur de communication.

Etudes probabilistes de sûreté 1

Etudes probabilistes de sûreté 2

Fiabilité des composants

Fiabilité des systèmes

Modélisation/simulation 1

Modèles formels/preuves formelles 1

Modèles formels/preuves formelles 2

Modélisation/simulation 2

Modèles formels/preuves formelles - sûreté du logiciel

NB. En l'absence d'un sommaire personnalisé de cette collection, vous pouvez accéder aux articles disponibles
grâce aux boutons "Titre" ou "Auteur" situés dans la barre de recherche ci-dessus.


Recent Submissions

View more