|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A minimized automaton representation of reachable states |
Holzmann, Gerard J. |
1999 |
2 | 3 |
p. 270-278 |
artikel |
|
| 2 | Analysis and verification of real-time systems using quantitative symbolic algorithms |
Campos, Sérgio Vale Aguiar |
1999 |
2 | 3 |
p. 260-269 |
artikel |
|
| 3 | A workshop on formal methods education: held at Melbourne Florida in March 1998[5] |
Johnson, Steven D. |
1999 |
2 | 3 |
p. 203-207 |
artikel |
|
| 4 | Local model checking and protocol analysis |
Du, Xiaoqun |
1999 |
2 | 3 |
p. 219-241 |
artikel |
|
| 5 | Model checking: a hardware design perspective |
Pixley, Carl |
1999 |
2 | 3 |
p. 288-306 |
artikel |
|
| 6 | Partial model checking of modal equations: A survey |
Andersen, Henrik Reif |
1999 |
2 | 3 |
p. 242-259 |
artikel |
|
| 7 | Pragmatics of model checking: an STTT special section |
Cleaveland, Rance |
1999 |
2 | 3 |
p. 208-218 |
artikel |
|
| 8 | Programming in FISh |
Jay, C. Barry |
1999 |
2 | 3 |
p. 307-315 |
artikel |
|
| 9 | State space reduction using partial order techniques |
Clarke, E.M. |
1999 |
2 | 3 |
p. 279-287 |
artikel |
9 gevonden resultaten