|
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 | Deductive verification of real-time systems using STeP |
Bjørner, Nikolaj S. |
2001 |
253 | 1 |
p. 27-60 34 p. |
artikel |
|
| 2 | PLC-automata: a new class of implementable real-time automata |
Dierks, Henning |
2001 |
253 | 1 |
p. 61-93 33 p. |
artikel |
|
| 3 | Preface |
Bertran, Miquel |
2001 |
253 | 1 |
p. 1- 1 p. |
artikel |
|
| 4 | Refinement of time |
Broy, Manfred |
2001 |
253 | 1 |
p. 3-26 24 p. |
artikel |
|
| 5 | The Verus language: representing time efficiently with BDDs |
Campos, Sérgio Vale Aguiar |
2001 |
253 | 1 |
p. 95-118 24 p. |
artikel |
|
| 6 | Verification, refinement and scheduling of real-time programs |
Liu, Zhiming |
2001 |
253 | 1 |
p. 119-152 34 p. |
artikel |
6 gevonden resultaten