Synthesis of Open Reactive Systems from scenario-based specification

Yves Bontemps, Pierre-Yves Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProc. Third International Conference on Application of Concurrency to System Design
EditorsJohan Lilius, Felice Balarin
Publication statusUnpublished - 2003
  • Model-driven engineering

    Cleve, A.

    1/01/1031/01/10

    Project: Research Axis

Cite this