|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Model Checking Approach to Protocol Conversion |
Sinha, Roopak |
2008 |
203 | 4 |
p. 81-94 14 p. |
artikel |
|
| 2 | Executable Specifications for Real-Time Distributed Systems |
Ray, Arnab |
2008 |
203 | 4 |
p. 3-17 15 p. |
artikel |
|
| 3 | Extending Lustre with Timeout Automata |
Gao, Jimin |
2008 |
203 | 4 |
p. 111-124 14 p. |
artikel |
|
| 4 | Instantaneous Transitions in Esterel |
Tardieu, Olivier |
2008 |
203 | 4 |
p. 49-64 16 p. |
artikel |
|
| 5 | Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks |
Maraninchi, Florence |
2008 |
203 | 4 |
p. 95-110 16 p. |
artikel |
|
| 6 | Modifying Contracts with Larissa Aspects |
Stauch, David |
2008 |
203 | 4 |
p. 125-140 16 p. |
artikel |
|
| 7 | Preface |
Aguado, Joaquín |
2008 |
203 | 4 |
p. 1-2 2 p. |
artikel |
|
| 8 | Specifying and Executing Reactive Scenarios With Lutin |
Raymond, Pascal |
2008 |
203 | 4 |
p. 19-34 16 p. |
artikel |
|
| 9 | Towards Mutation Analysis for Lustre Programs |
du Bousquet, Lydie |
2008 |
203 | 4 |
p. 35-48 14 p. |
artikel |
|
| 10 | Worst Case Reaction Time Analysis of Concurrent Reactive Programs |
Boldt, Marian |
2008 |
203 | 4 |
p. 65-79 15 p. |
artikel |
10 gevonden resultaten