Engineering Functional Requirements of Reactive Systems using Synchronous Languages
type: Dataset
description: International audience
issued: 2026-05-07T08:39:01.234994
language: en
modified: 2026-05-07T08:39:01.234999
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: functional-testing
keyword: industrial-case-study
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-plcomputer-science-csprogramming-languages-cspl
keyword: reactive-systems
keyword: requirements-engineering
keyword: synchronous-languages
landing page: International Symposium on Industrial Embedded Systems, 2013. SIES'13.

Engineering Functional Requirements of Reactive Systems using Synchronous Languages
type: Distribution
format: HTML
issued: 2026-05-07T08:39:01.243721
modified: 2026-05-07T08:39:01.223094
access URL: https://hal.science/hal-00933179

test_moissonnage_selune
type: Agent