Tatiana Prosvirnova. AltaRica 3.0: a Model-Based approach for Safety Analyses. (AltaRica 3.0 : une appoche orientée modèles pour la Sûreté de Fonctionnement). PhD thesis, École Polytechnique, Palaiseau, France, 2014. [doi]
@phdthesis{hal-1477,
title = {AltaRica 3.0: a Model-Based approach for Safety Analyses. (AltaRica 3.0 : une appoche orientée modèles pour la Sûreté de Fonctionnement)},
author = {Tatiana Prosvirnova},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01119730},
researchr = {https://researchr.org/publication/hal-1477},
cites = {0},
citedby = {0},
school = {École Polytechnique, Palaiseau, France},
}