|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Decidable Clock Language for Synchronous Specifications |
Nebut, Mirabelle |
2002 |
65 | 5 |
p. 125-139 15 p. |
artikel |
|
| 2 | Describing non-deterministic reactive systems by means of regular expressions |
Raymond, Pascal |
2002 |
65 | 5 |
p. 27-34 8 p. |
artikel |
|
| 3 | Design of a Mobile Robot Controller using Esterel Tools |
Sowmya, Arcot |
2002 |
65 | 5 |
p. 3-10 8 p. |
artikel |
|
| 4 | Efficient compilation of array iterators for Lustre |
Morel, Lionel |
2002 |
65 | 5 |
p. 19-26 8 p. |
artikel |
|
| 5 | ESUIF: An Open Esterel Compiler |
Edwards, Stephen A. |
2002 |
65 | 5 |
p. 79- 1 p. |
artikel |
|
| 6 | Modifying Esterel Concepts to Model Hybrid Systems |
Baldamus, Michael |
2002 |
65 | 5 |
p. 35-49 15 p. |
artikel |
|
| 7 | Preface |
Maraninchi, Florence |
2002 |
65 | 5 |
p. 1-2 2 p. |
artikel |
|
| 8 | Saxo–rt: Interpreting Esterel Semantic on a Sequential Execution Structure |
Closse, Etienne |
2002 |
65 | 5 |
p. 80-94 15 p. |
artikel |
|
| 9 | Slicing Synchronous Reactive Programs |
Ganapathy, Vinod |
2002 |
65 | 5 |
p. 50-64 15 p. |
artikel |
|
| 10 | SOL: A Verifiable Synchronous Language for Reactive Systems |
Bharadwaj, Ramesh |
2002 |
65 | 5 |
p. 140-154 15 p. |
artikel |
|
| 11 | Symbolic simulation of synchronous programs |
Garriou, David |
2002 |
65 | 5 |
p. 11-18 8 p. |
artikel |
|
| 12 | The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs |
Pandya, Paritosh K. |
2002 |
65 | 5 |
p. 110-124 15 p. |
artikel |
|
| 13 | Towards a Model Theory for Esterel |
Lüttgen, Gerald |
2002 |
65 | 5 |
p. 95-109 15 p. |
artikel |
|
| 14 | Type-based Initialization Analysis of a Synchronous Data-flow Language |
Colaço, Jean-Louis |
2002 |
65 | 5 |
p. 65-78 14 p. |
artikel |
14 gevonden resultaten