-
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Appr...
In this document, we study the introduction of control in the Gaspard2 application UML metamodel by using the synchronous reactive system principles. This allows to... -
An approach for the synthesis of decentralised supervisors for distributed ad...
International audience -
Engineering Functional Requirements of Reactive Systems using Synchronous Lan...
International audience -
Vérification des Systèmes Réactifs Dans le Modèle Synchrone
Stage de DEA. Rapport de stage. -
Modélisation des systèmes réactifs
Hors-série Revue des Systèmes 2003. Congrès (éditeur). nationale.
