|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An approach to cyclic protocol validation |
Liu, Hong |
1996 |
19 | 14 |
p. 1175-1187 13 p. |
artikel |
|
| 2 | Author Index |
1996 |
19 | 14 |
p. 1295-1296 2 p. |
artikel |
||
| 3 | Calendar |
1996 |
19 | 14 |
p. 1289-1292 4 p. |
artikel |
||
| 4 | Designing a multiway synchronization protocol |
Parrow, Joachim |
1996 |
19 | 14 |
p. 1151-1160 10 p. |
artikel |
|
| 5 | Editorial |
Saleh, Kassen |
1996 |
19 | 14 |
p. 1131-1133 3 p. |
artikel |
|
| 6 | Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems |
Courtiat, J.-P. |
1996 |
19 | 14 |
p. 1134-1150 17 p. |
artikel |
|
| 7 | Framework of a flexible computer communication network |
Shiratori, Norio |
1996 |
19 | 14 |
p. 1268-1275 8 p. |
artikel |
|
| 8 | Group communication models |
Farooqui, Kazi |
1996 |
19 | 14 |
p. 1276-1288 13 p. |
artikel |
|
| 9 | Group routing without group routing tables: an exercise in protocol design |
Cobb, Jorge A. |
1996 |
19 | 14 |
p. 1161-1174 14 p. |
artikel |
|
| 10 | Improving the efficiency of automated protocol implementation using Estelle |
Gotzhein, R. |
1996 |
19 | 14 |
p. 1226-1235 10 p. |
artikel |
|
| 11 | Index to volume 19 (1996) |
1996 |
19 | 14 |
p. 1293-1295 3 p. |
artikel |
||
| 12 | Keyword Index |
1996 |
19 | 14 |
p. 1296-1302 7 p. |
artikel |
||
| 13 | On constructing communication protocols from component-based service specifications |
Nakamura, Masahide |
1996 |
19 | 14 |
p. 1200-1215 16 p. |
artikel |
|
| 14 | Petri nets for protocol engineering |
Cheung, To-yat |
1996 |
19 | 14 |
p. 1250-1257 8 p. |
artikel |
|
| 15 | Protocol converter generation using the STS approach |
Jeng, Hou-Wa J. |
1996 |
19 | 14 |
p. 1216-1225 10 p. |
artikel |
|
| 16 | Protocol quality engineering: addressing industry concerns about formal methods |
Probert, Robert L. |
1996 |
19 | 14 |
p. 1258-1267 10 p. |
artikel |
|
| 17 | Testing in context: framework and test derivation |
Petrenko, Alexandre |
1996 |
19 | 14 |
p. 1236-1249 14 p. |
artikel |
|
| 18 | Validation of protocols with temporal constraints |
Cacciari, Leo |
1996 |
19 | 14 |
p. 1188-1199 12 p. |
artikel |
18 gevonden resultaten