Alejandra Ruiz, Tim Kelly, Huascar Espinoza. Towards a multi-view point safety contract.
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, Sep 2013, Toulouse, France. pp.NA.
⟨hal-00848496⟩