|
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 | Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal |
Bowman, H. |
1998 |
10 | 5-6 |
p. 550-575 |
artikel |
|
| 2 | Case Study in Protocol Validation: Validating an ATM Signalling Protocol |
Vassiliou-Gioles, Theofanis |
1998 |
10 | 5-6 |
p. 483-508 |
artikel |
|
| 3 | Design for Proof: An Approach to the Design of Domain-Specific Languages |
Anderson, Stuart |
1998 |
10 | 5-6 |
p. 452-468 |
artikel |
|
| 4 | Editorial |
Groote, Jan Friso |
1998 |
10 | 5-6 |
p. 435 |
artikel |
|
| 5 | Investigating the Integration of two Formal Methods |
Bicarregui, Juan |
1998 |
10 | 5-6 |
p. 532-549 |
artikel |
|
| 6 | Partial-order Reduction Techniques for Real-time Model Checking |
Dams, Dennis |
1998 |
10 | 5-6 |
p. 469-482 |
artikel |
|
| 7 | Testing Algebraic Data Types and Processes: A Unifying Theory |
Gaudel, Marie-Claude |
1998 |
10 | 5-6 |
p. 436-451 |
artikel |
|
| 8 | The Tree Identify Protocol of IEEE 1394 in μCRL |
Shankland, Carron |
1998 |
10 | 5-6 |
p. 509-531 |
artikel |
8 gevonden resultaten