Verifying the precedence property pattern using the B Method
type: Dataset
description: International audience
issued: 2026-05-06T01:40:32.029524
language: en
modified: 2026-05-06T01:40:32.029528
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
landing page: 15th International Symposium on High Assurance System Engineering

Verifying the precedence property pattern using the B Method
type: Distribution
format: HTML
issued: 2026-05-06T01:40:32.031545
modified: 2026-05-06T01:40:32.025236
access URL: https://hal.science/hal-00958505

test_moissonnage_selune
type: Agent