Construction de modèles formels de contrôleurs logiques pour le test de conformité
type: Dataset
description: National audience
landing page: Journées Nationales MACS (JD-JN-MACS'13)
keyword: automate-des-localites
keyword: conference-papers
keyword: evolution-fugace
keyword: grafcet
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aucomputer-science-csautomatic-control-engineering
keyword: stabilite
keyword: test-de-conformite
issued: 2026-05-10T20:08:35.431499
modified: 2026-05-10T20:08:35.431504
language: fr
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Construction de modèles formels de contrôleurs logiques pour le test de conformité
type: Distribution
format: HTML
access URL: https://hal.science/hal-00831256
issued: 2026-05-10T20:08:35.435531
modified: 2026-05-10T20:08:35.415076