Towards a multi-view point safety contract

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]

Authors

Alejandra Ruiz

This author has not been identified. Look up 'Alejandra Ruiz' in Google

Tim Kelly

This author has not been identified. Look up 'Tim Kelly' in Google

Huáscar Espinoza

This author has not been identified. Look up 'Huáscar Espinoza' in Google