Alejandra Ruiz, Tim Kelly, Huáscar Espinoza. Towards a multi-view point safety contract. In Alejandra Ruiz, Tim Kelly, José Luis de la Vara, editors, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. HAL, 2013. [doi]
@inproceedings{RuizKE13,
title = {Towards a multi-view point safety contract},
author = {Alejandra Ruiz and Tim Kelly and Huáscar Espinoza},
year = {2013},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848496},
researchr = {https://researchr.org/publication/RuizKE13},
cites = {0},
citedby = {0},
booktitle = {SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013},
editor = {Alejandra Ruiz and Tim Kelly and José Luis de la Vara},
publisher = {HAL},
}