]
]
]
]
Publication
Synthesis of Open Reactive Systems from scenario-based specification
| Auteur(s) | Yves BONTEMPS, Pierre-Yves SCHOBBENS |
| Unité(s) de recherche(s) |
Pôle sémantique, logique et calcul
|
| Année | 2003 |
| Type | Contributions à des ouvrages collectifs |
| Langue | Anglais |
| Mots clés | |
| Résumé | |
| Versions électroniques |
Contribution à un ouvrage collectif
| Titre ouvrage | Proc. Third International Conference on Application of Concurrency to System Design |
| Sous-titre | |
| Auteur | Johan Lilius and Felice Balarin |
| Collection | |
| Sous-collection | |
| Numéro volume | |
| Pages | - |
