A transformation-driven approach to generate a DSML verification framework
type: Distribution
access URL: https://hal.science/hal-00994321
format: HTML
issued: 2026-05-05T10:38:48.985360
modified: 2026-05-05T10:38:48.972077

test_moissonnage_selune
type: Agent

A transformation-driven approach to generate a DSML verification framework
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoeu-reposemanticsconferenceobject
keyword: translational-semantics
keyword: model-check--ing
keyword: conference-papers
keyword: traceability
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: fiacre
keyword: formal-verification
keyword: verification-feedback
keyword: domain-specific-modeling-language
description: International audience
issued: 2026-05-05T10:38:48.983505
language: en
modified: 2026-05-05T10:38:48.983509