|
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 | Author biographies |
1992 |
15 | 2 |
p. 135-136 2 p. |
artikel |
||
| 2 | Calendar |
1992 |
15 | 2 |
p. IBC- 1 p. |
artikel |
||
| 3 | Computational model for distributed multimedia applications based on a synchronous programming language |
Stefani, Jean-Bernard |
1992 |
15 | 2 |
p. 114-128 15 p. |
artikel |
|
| 4 | Introduction to LOTOS through a worked example |
Drayton, Lynne |
1992 |
15 | 2 |
p. 70-85 16 p. |
artikel |
|
| 5 | Modelling open distributed systems in Z |
Stocks, Phil |
1992 |
15 | 2 |
p. 103-113 11 p. |
artikel |
|
| 6 | Practical methods for the formal validation of SDL specifications |
Holzmann, Gerard J |
1992 |
15 | 2 |
p. 129-134 6 p. |
artikel |
|
| 7 | Practical use of FDTs in communications and distributed systems |
Blair, Gordon S |
1992 |
15 | 2 |
p. 66-69 4 p. |
artikel |
|
| 8 | Use of LOTOS in the formal development of an OSI protocol |
Clark, Robert G |
1992 |
15 | 2 |
p. 86-92 7 p. |
artikel |
|
| 9 | Using LOTOS for specifying the chorus distributed operating system kernel |
Pecheur, Charles |
1992 |
15 | 2 |
p. 93-102 10 p. |
artikel |
9 gevonden resultaten