| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Applying formal description techniques to software architectural design
|
Li, J.J
|
|
2000
|
23 |
12 |
p. 1169-1178
10 p.
|
artikel
|
| 2 |
A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220
|
Fecko, M.A.
|
|
2000
|
23 |
12 |
p. 1196-1213
18 p.
|
artikel
|
| 3 |
Design of universal personal computing using SDL
|
Törö, M
|
|
2000
|
23 |
12 |
p. 1124-1134
11 p.
|
artikel
|
| 4 |
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
|
Courtiat, J.-P.
|
|
2000
|
23 |
12 |
p. 1104-1123
20 p.
|
artikel
|
| 5 |
Improving the efficiency of automated protocol implementations using a configurable FDT compiler
|
Koenig, H
|
|
2000
|
23 |
12 |
p. 1179-1195
17 p.
|
artikel
|
| 6 |
[No title]
|
Lai, R
|
|
2000
|
23 |
12 |
p. 1087-1088
2 p.
|
artikel
|
| 7 |
Tool support for hardware/software co-design of communication protocols
|
Fischer, S.
|
|
2000
|
23 |
12 |
p. 1158-1168
11 p.
|
artikel
|
| 8 |
Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
|
Amyot, D.
|
|
2000
|
23 |
12 |
p. 1135-1157
23 p.
|
artikel
|
| 9 |
Verification of security protocols using LOTOS-method and application
|
Leduc, G.
|
|
2000
|
23 |
12 |
p. 1089-1103
15 p.
|
artikel
|
Tijdschrift beschrijving