|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car |
Chouali, Samir |
2010 |
238 | 6 |
p. 3-13 11 p. |
artikel |
|
| 2 | Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata |
Ovatman, Tolga |
2010 |
238 | 6 |
p. 81-95 15 p. |
artikel |
|
| 3 | Inference of Session Types From Control Flow |
Collingbourne, Peter |
2010 |
238 | 6 |
p. 15-40 26 p. |
artikel |
|
| 4 | Preface |
Reussner, Ralf |
2010 |
238 | 6 |
p. 1-2 2 p. |
artikel |
|
| 5 | Reasoning about QoS Contracts in the Probabilistic Duration Calculus |
Guelev, Dimitar P. |
2010 |
238 | 6 |
p. 41-62 22 p. |
artikel |
|
| 6 | Transaction Scripts: Making Implicit Scenarios Explicit |
Moschoyiannis, Sotiris |
2010 |
238 | 6 |
p. 63-79 17 p. |
artikel |
6 gevonden resultaten