Towards a multi-view point safety contract
type: Dataset
description: International audience
issued: 2026-05-10T05:19:58.453722
language: en
modified: 2026-05-10T05:19:58.453727
contact point: Organization
  fn: CCSD
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

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

test_moissonnage_selune
type: Agent