Synthesis of Open Reactive Systems from scenario-based specification

Yves Bontemps, Pierre-Yves Schobbens

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

langue originaleAnglais
titreProc. Third International Conference on Application of Concurrency to System Design
rédacteurs en chefJohan Lilius, Felice Balarin
Etat de la publicationNon publié - 2003

Contient cette citation