| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Continuous modeling of real-time and hybrid systems: from concepts to tools
|
Larsen, Kim G.
|
|
1997
|
1 |
1-2 |
p. 64-85
|
artikel
|
| 2 |
Continuous modeling of real-time and hybrid systems: from concepts to tools
|
Larsen, Kim G.
|
|
1997
|
1 |
1-2 |
p. 64-85
|
artikel
|
| 3 |
Editorial
|
Cleaveland, W. Rance
|
|
1997
|
1 |
1-2 |
p. 1-5
|
artikel
|
| 4 |
HYTECH: a model checker for hybrid systems
|
Henzinger, Thomas A.
|
|
1997
|
1 |
1-2 |
p. 110-122
|
artikel
|
| 5 |
HYTECH: a model checker for hybrid systems
|
Henzinger, Thomas A.
|
|
1997
|
1 |
1-2 |
p. 110-122
|
artikel
|
| 6 |
Integrating tools in the ETI platform
|
Braun, Volker
|
|
1997
|
1 |
1-2 |
p. 31-48
|
artikel
|
| 7 |
Integrating tools in the ETI platform
|
Braun, Volker
|
|
1997
|
1 |
1-2 |
p. 31-48
|
artikel
|
| 8 |
Interacting with ETI: a user session
|
Margaria, Tiziana
|
|
1997
|
1 |
1-2 |
p. 49-63
|
artikel
|
| 9 |
Interacting with ETI: a user session
|
Margaria, Tiziana
|
|
1997
|
1 |
1-2 |
p. 49-63
|
artikel
|
| 10 |
KRONOS: a verification tool for real-time systems
|
Yovine, Sergio
|
|
1997
|
1 |
1-2 |
p. 123-133
|
artikel
|
| 11 |
KRONOS: a verification tool for real-time systems
|
Yovine, Sergio
|
|
1997
|
1 |
1-2 |
p. 123-133
|
artikel
|
| 12 |
OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
|
Leblanc, Philippe
|
|
1997
|
1 |
1-2 |
p. 153-165
|
artikel
|
| 13 |
OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
|
Leblanc, Philippe
|
|
1997
|
1 |
1-2 |
p. 153-165
|
artikel
|
| 14 |
Protocol verification with the ALDÉBARAN toolset
|
Bozga, Marius
|
|
1997
|
1 |
1-2 |
p. 166-183
|
artikel
|
| 15 |
Protocol verification with the ALDÉBARAN toolset
|
Bozga, Marius
|
|
1997
|
1 |
1-2 |
p. 166-183
|
artikel
|
| 16 |
Real-time system = discrete system + clock variables
|
Alur, Rajeev
|
|
1997
|
1 |
1-2 |
p. 86-109
|
artikel
|
| 17 |
Real-time system = discrete system + clock variables
|
Alur, Rajeev
|
|
1997
|
1 |
1-2 |
p. 86-109
|
artikel
|
| 18 |
The Electronic Tool Integration platform: concepts and design
|
Steffen, Bernhard
|
|
1997
|
1 |
1-2 |
p. 9-30
|
artikel
|
| 19 |
The Electronic Tool Integration platform: concepts and design
|
Steffen, Bernhard
|
|
1997
|
1 |
1-2 |
p. 9-30
|
artikel
|
| 20 |
The meaning of “formal”: from weak to strong formal methods
|
Wolper, Pierre
|
|
1997
|
1 |
1-2 |
p. 6-8
|
artikel
|
| 21 |
The meaning of “formal”: from weak to strong formal methods
|
Wolper, Pierre
|
|
1997
|
1 |
1-2 |
p. 6-8
|
artikel
|
| 22 |
Uppaal in a nutshell
|
Larsen, Kim G.
|
|
1997
|
1 |
1-2 |
p. 134-152
|
artikel
|
| 23 |
Uppaal in a nutshell
|
Larsen, Kim G.
|
|
1997
|
1 |
1-2 |
p. 134-152
|
artikel
|
Tijdschrift beschrijving