Towards a multi-view point safety contract
type: Dataset
description: International audience
keyword: certification
keyword: composition
keyword: conference-papers
keyword: embedded-systems
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: safety
keyword: safety-case
keyword: safety-contract
issued: 2026-05-10T05:19:58.453722
modified: 2026-05-10T05:19:58.453727
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Towards a multi-view point safety contract
type: Distribution
format: HTML
access URL: https://hal.science/hal-00848496
issued: 2026-05-10T05:19:58.459274
modified: 2026-05-10T05:19:58.442162