@phdthesis{sampaioelesbaomazza:tel-00767942, TITLE = {{M{\'e}thode pour la sp{\'e}cification de responsabilit{\'e} pour les logiciels : Modelisation, Tracabilit{\'e} et Analyse de dysfonctionnements}}, AUTHOR = {Sampaio Elesbao Mazza, Eduardo Sampaio Elesbao Mazza}, URL = {https://theses.hal.science/tel-00767942}, NUMBER = {2012GRENM022}, SCHOOL = {{Universit{\'e} de Grenoble}}, YEAR = {2012}, MONTH = Jun, KEYWORDS = {Formal specification ; Refinement ; Liability ; Fault model ; Mod{\`e}le de fautes ; Responsabilit{\'e} ; Raffinement ; Sp{\'e}cification formelle}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00767942/file/24851_SAMPAIO1.pdf}, HAL_ID = {tel-00767942}, HAL_VERSION = {v1}, }