Searching for authors named "Robert de Simone" – sorted by Relevance.
-
The FCTOOLS User Manual (Version 1.0)
- The FCTOOLS User Manual (Version 1.0) Amar Bouali, Annie Ressouche, Valerie Roy, Robert de Simone N 191 Avril
- Cited by 1 (0 self) – Add To MetaCart
-
The SL Synchronous Language
- AUTOMATIQUE The SL Synchronous Language Frederic Boussinot , Robert de Simone N 2510 Mars 1995 PROGRAMME 2
- Cited by 19 (6 self) – Add To MetaCart
-
Using PO Methods for Verifying Behavioural Equivalences
- Using PO Methods for Verifying Behavioural Equivalences Monica Lara de Souza Robert de Simone
- Add To MetaCart
-
Symbolic Bisimulation Minimisation
- @(email omitted); Robert de Simone I.N.R.I.A. Sophia-Antipolis FRANCE rs@(email omitted); Abstract We adapt the Coarsest
- Cited by 27 (6 self) – Add To MetaCart
-
The synchronous hypothesis and synchronous languages, in "Embedded Systems Handbook
- , France Robert de Simone INRIA, Sophia-Antipolis, France November 2, 2004 Jean-Pierre Talpin IRISA, Rennes
- Cited by 3 (1 self) – Add To MetaCart
-
Automated Design of Communication Protocols Using ESTEREL
- 1 Automated Design of Communication Protocols Using ESTEREL Christophe Diot, Robert de Simone
- Cited by 1 (0 self) – Add To MetaCart
-
Verifying Synchronous Reactive Systems Programmed in ESTEREL
- 1 , Robert de Simone 2 , and Horia Toma 1 1 CMA/Ecole des Mines de Paris, B.P. 207, F-06904
- Cited by 5 (1 self) – Add To MetaCart
-
Optimizations For Faster Execution Of Esterel Programs
- , Campus de Beaulieu, 35042 Rennes, France Dumitru.Potop@(email omitted); Robert de Simone INRIA, 2004 rte. des
- Cited by 13 (0 self) – Add To MetaCart
-
Event-triggered vs. Time-Triggered communications with UML MARTE
- Event-triggered vs. Time-Triggered communications with UML MARTE Frédéric Mallet, Robert de Simone
- Add To MetaCart
-
TIMESQUARE: a software environment for timed systems
- MALLET, Robert de SIMONE {benoit.ferrero,charles.andre,frederic.mallet,robert.de_simone}@(email omitted); AOSTE
- Add To MetaCart

