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érence › Article dans les actes d'une conférence/un colloque

Résultats de recherche