IDM pour une approche combinant synthèse et vérification de modèles
type: Dataset
description: International audience
issued: 2026-05-09T05:02:03.323784
language: fr
modified: 2026-05-09T05:02:03.323788
contact point: Organization
  fn: CCSD
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: ingenierie-dirigee-par-les-modeles
keyword: journal-articles
keyword: model-checking
keyword: supervision
landing page: Revue électronique Sciences et Technologies de l'Automatique

IDM pour une approche combinant synthèse et vérification de modèles
type: Distribution
format: HTML
issued: 2026-05-09T05:02:03.325607
modified: 2026-05-09T05:02:03.314437
access URL: https://hal.science/hal-00878411

test_moissonnage_selune
type: Agent