|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A refinement-based process algebra for timed automata |
Cattani, Stefano |
2005 |
17 | 2 |
p. 138-159 |
artikel |
|
| 2 | Guest Editorial |
Leuschel, Michael |
2005 |
17 | 2 |
p. 91-92 |
artikel |
|
| 3 | Model checking, testing and verification working together |
Gunter, Elsa |
2005 |
17 | 2 |
p. 201-221 |
artikel |
|
| 4 | Not necessarily closed convex polyhedra and the double description method |
Bagnara, Roberto |
2005 |
17 | 2 |
p. 222-257 |
artikel |
|
| 5 | On the expressive power of CSP refinement |
Roscoe, A.W. |
2005 |
17 | 2 |
p. 93-112 |
artikel |
|
| 6 | Refinement is complete for implementations |
Huth, Michael |
2005 |
17 | 2 |
p. 113-137 |
artikel |
|
| 7 | The formal design of distributed controllers with dSL and Spin |
Wachter, Bram De |
2005 |
17 | 2 |
p. 177-200 |
artikel |
|
| 8 | Using probabilistic model checking for dynamic power management |
Norman, Gethin |
2005 |
17 | 2 |
p. 160-176 |
artikel |
8 gevonden resultaten