Software product line for semantic specification of block libraries in dataflow languages
type: Dataset
description: 10 pages
issued: 2026-05-05T10:10:16.937220
language: en
modified: 2026-05-05T10:10:16.937225
contact point: Organization
  fn: CCSD
keyword: automated-code-generation
keyword: feature-modelling
keyword: formal-specification
keyword: infoeu-reposemanticsreport
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: infoinfo-pfcomputer-science-csperformance-cspf
keyword: model-driven-engineering
keyword: reliability-verification-design
keyword: reports
keyword: scicos
keyword: simulink
keyword: software-qualification
keyword: why3
keyword: xcos
landing page: https://hal.science/hal-00996850

Software product line for semantic specification of block libraries in dataflow languages
type: Distribution
format: HTML
issued: 2026-05-05T10:10:16.953209
modified: 2026-05-05T10:10:16.918040
access URL: https://hal.science/hal-00996850

test_moissonnage_selune
type: Agent