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.


    Project: Research Axis

Cite this