Towards a multi-view point safety contract

Alejandra Ruiz; Tim Kelly; Huáscar Espinoza

Towards a multi-view point safety contract

Alejandra Ruiz, Tim Kelly, Huáscar Espinoza

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	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
Publication status	Published - 2013

Access to Document

http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848496

Cite this

Ruiz, A., Kelly, T., & Espinoza, H. (2013). Towards a multi-view point safety contract. In 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 http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848496

@inproceedings{c399ad31a6974f4f890de0939782f1aa,

title = "Towards a multi-view point safety contract",

author = "Alejandra Ruiz and Tim Kelly and Hu{\'a}scar Espinoza",

year = "2013",

language = "Undefined/Unknown",

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",

}

Towards a multi-view point safety contract. / Ruiz, Alejandra; Kelly, Tim; Espinoza, Huáscar.
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. 2013.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards a multi-view point safety contract

AU - Ruiz, Alejandra

AU - Kelly, Tim

AU - Espinoza, Huáscar

PY - 2013

Y1 - 2013

M3 - Conference contribution

BT - 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

ER -