| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A LOTOS based performance evaluation tool
|
Miguel, C.
|
|
1993
|
|
7 |
p. 791-814
24 p.
|
artikel
|
| 2 |
An action-based framework for veryfying logical and behavioural properties of concurrent systems
|
De Nicola, R.
|
|
1993
|
|
7 |
p. 761-778
18 p.
|
artikel
|
| 3 |
Calendar
|
|
|
1997
|
|
7 |
p. 861-864
4 p.
|
artikel
|
| 4 |
Calendar
|
|
|
1995
|
|
7 |
p. 1207-1209
3 p.
|
artikel
|
| 5 |
Calendar
|
|
|
1993
|
|
7 |
p. 899-900
2 p.
|
artikel
|
| 6 |
Data flow oriented test selection for lotos
|
van der Schoot, Hans
|
|
1995
|
|
7 |
p. 1111-1136
26 p.
|
artikel
|
| 7 |
Experiences with a random test driver
|
West, Colin H.
|
|
1995
|
|
7 |
p. 1163-1174
12 p.
|
artikel
|
| 8 |
Forte '95
|
Bochmann, Gregor v.
|
|
1997
|
|
7 |
p. 731-733
3 p.
|
artikel
|
| 9 |
From multimedia models to multimedia transport protocols
|
Diaz, Michel
|
|
1997
|
|
7 |
p. 745-758
14 p.
|
artikel
|
| 10 |
Hierarchical approach to building generative networkload models
|
Raghavan, S.V.
|
|
1995
|
|
7 |
p. 1193-1206
14 p.
|
artikel
|
| 11 |
High-performance protocol architecture
|
Dabbous, Walid S.
|
|
1997
|
|
7 |
p. 735-744
10 p.
|
artikel
|
| 12 |
Influence of the BWB mechanism on some performance figures of a DQDB subnetwork
|
Conti, M.
|
|
1995
|
|
7 |
p. 1137-1161
25 p.
|
artikel
|
| 13 |
Internetting connectionless data networks with a wide area public ATM network
|
Tsai, I-Fei
|
|
1997
|
|
7 |
p. 797-810
14 p.
|
artikel
|
| 14 |
LOEWE: A LOTOS engineering workbench
|
Karjoth, Günter
|
|
1993
|
|
7 |
p. 853-874
22 p.
|
artikel
|
| 15 |
Modelling, parameter assessment and multiplexing analysis of bursty sources with hyper-exponentially distributed bursts
|
Mitrou, N.
|
|
1995
|
|
7 |
p. 1175-1192
18 p.
|
artikel
|
| 16 |
NetDyn revisited: a replicated study of network dynamics
|
Pointek, Julie
|
|
1997
|
|
7 |
p. 831-840
10 p.
|
artikel
|
| 17 |
On tools for FDTs
|
Quemada, Juan
|
|
1993
|
|
7 |
p. 719-721
3 p.
|
artikel
|
| 18 |
On tools supporting the use of formal description techniques in protocol development
|
Chanson, S.T.
|
|
1993
|
|
7 |
p. 723-739
17 p.
|
artikel
|
| 19 |
Performance analysis of a Leaky Bucket scheme with a threshold in the data buffer
|
Choi, Bong Dae
|
|
1997
|
|
7 |
p. 781-795
15 p.
|
artikel
|
| 20 |
Protocol visualization in Estelle
|
Amer, Paul D.
|
|
1993
|
|
7 |
p. 741-760
20 p.
|
artikel
|
| 21 |
Providing scalable Web services using multicast communication
|
Clark, Russell J.
|
|
1997
|
|
7 |
p. 841-858
18 p.
|
artikel
|
| 22 |
Special 1998 issue on Java and mobile code in telecommunications
|
|
|
1997
|
|
7 |
p. 859-860
2 p.
|
artikel
|
| 23 |
The PET and DINGO tools for deriving distributed implementations from Estelle
|
Sijelmassi, Rachid
|
|
1993
|
|
7 |
p. 841-851
11 p.
|
artikel
|
| 24 |
The PSF toolkit
|
Veltink, Gert
|
|
1993
|
|
7 |
p. 875-898
24 p.
|
artikel
|
| 25 |
Tool support to implement LOTOS formal specifications
|
Mañas, JoséA.
|
|
1993
|
|
7 |
p. 815-839
25 p.
|
artikel
|
| 26 |
Traffic distortion and inter-source cross-correlation in high-speed integrated networks
|
Lau, Wing-cheong
|
|
1997
|
|
7 |
p. 811-830
20 p.
|
artikel
|
| 27 |
Two formal methods for the synthesis of discrete event systems
|
Khoumsi, Ahmed
|
|
1997
|
|
7 |
p. 759-780
22 p.
|
artikel
|
| 28 |
VESAR: a pragmatic approach to formal specification and verification
|
Algayres, B.
|
|
1993
|
|
7 |
p. 779-790
12 p.
|
artikel
|
Tijdschrift beschrijving