F. Boussinot and R. De Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293-- 1304, September 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Online Execution Control Checking for Autonomous Systems - Felix Ingrand Frederic (2002) (1 citation) (Correct)
A Case Study in Computer-Aided Codesign of Embedded - Controllers Lavagno Chiodo (1994) (Correct)
High-level Synthesis of Pipelined Circuits from Modular.. - MARINESCU, RINARD (2001) (Correct)
System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
Using Event-Based Parsing to Support Dynamic Protocol Evolution - Ryan, Wolf (Correct)
Mixed Control/Data-Flow Representation For Modelling And.. - Varea (2002) (Correct)
Heterogenous Simulation - mixing discrete-event model with.. - Chang, Ha, Lee (1996) (5 citations) (Correct)
A Survey on Hardware/Software Codesign Representation Models - Cortes, Eles, Peng (1999) (Correct)
Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997) (28 citations) (Correct)
The Hume Report, Version 0.2 - Michaelson, Hammond (2001) (Correct)
Petri Net oriented modelling and synthesis for Embedded Systems - Varea (2000) (Correct)
High-level Specification and Efficient Implementation of.. - Marinescu, Rinard (2001) (1 citation) (Correct)
Introducing the Synchronous Approach into a Real-Time Course - Andre, Péraldi, Rigault (1997) (Correct)
An Experiment With Reactive Data-Flow Tasking in Active.. - Rutten, Marchand.. (1997) (1 citation) (Correct)
SyncCharts: un modèle graphique synchrone pour systèmes .. - André, Boufaïed.. (1998) (Correct)
Programming in Timed Concurrent Constraint Languages - Saraswat, Jagadeesan (1994) (25 citations) (Correct)
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
Unknown - Models And Methods (Correct)
Towards Direct Execution of Esterel Programs on Reactive.. - Roop, Salcic, Dayaratne (Correct)
Event-driven Programming with Logical Execution Times - Ghosal, Henzinger, Kirsch.. (2004) (Correct)
Real-Time Execution Control for Autonomous Systems - Fr Ed Eric (Correct)
Haobo Yu, Rainer Doemer, Daniel Gajski - May Center For (Correct)
The Supervisory Control Problem for . . . - Marchand (Correct)
Hardware/Software Co-Design of a - Fault-Tolerant Communication Protocol (1996) (Correct)
An Execution Control System for Autonomous Robots - Ingrand, Py (2002) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC