Verifying Temporal Properties in GRAFCET
type: Dataset
description: International audience
issued: 2026-05-05T16:45:24.513217
language: en
modified: 2026-05-05T16:45:24.513221
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: spielecengineering-sciences-physicselectromagnetism
landing page: Computational Engineering in Systems Applications (CESA'98)

Verifying Temporal Properties in GRAFCET
type: Distribution
format: HTML
issued: 2026-05-05T16:45:24.514254
modified: 2026-05-05T16:45:24.508511
access URL: https://hal.science/hal-00973446

test_moissonnage_selune
type: Agent