Download:
|
by Name Of The C, Idate Mesfin Belachew
http://www.tcs.tifr.res.in/~mesfin/../~mesfin/publication/synopsis.ps
Add To MetaCart
Abstract:
Date of submission of Synopsis: 22 nd
Citations
|
555
|
Petri Net Theory and the Modeling of Systems
– Peterson
- 1981
|
|
278
|
Executable object modeling with statecharts
– Harel, Gery
- 1997
|
|
208
|
LSCs: Breathing life into message sequence charts
– Damm, Harel
- 2001
|
|
189
|
Plaice, “LUSTRE: A declarative language for programming synchronous systems
– Caspi, Pilaud, et al.
- 1987
|
|
126
|
The Esterel Synchronous Programming Language
– Berry, Gonthier
- 1992
|
|
92
|
Specifying Message Passing and Time-Critical Systems with Temporal Logic
– Koymans
- 1992
|
|
72
|
Recommendation Z.120 : Message Sequence Chart (MSC
– ITU-TS
- 1996
|
|
71
|
Design of embedded systems: Formal models, validation, and synthesis
– Edwards, Lavagno, et al.
- 1997
|
|
71
|
Synchronous observers and the verification of reactive systems
– Halbwachs, Lagnier, et al.
- 1993
|
|
63
|
The Argos language: Graphical representation of automata and description of reactive systems,” presented at the
– Maraninchi
- 1991
|
|
48
|
Synthesizing state-based object systems from LSC specifications
– Harel, Kugler
|
|
35
|
SIGNAL: a declarative language for synchronous programming of real-time systems
– Gautier, Guernic, et al.
- 1987
|
|
25
|
A Formal Specification Model for Hardware/Software Codesign
– Chiodo, Giusto, et al.
- 1993
|
|
6
|
An algebraic semantic of message sequence charts
– Maum, Reniers
- 1994
|
|
6
|
Programming Dynamic Real-Time Systems
– Shyamasundar
- 1995
|
|
4
|
A Methodology for Hardware /Software Codesign of Real-Time Systems with SDL/MSC
– Mitschele-Thiel, Slomka
- 1998
|
