nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A framework for the specification of test cases for real-time distributed systems
|
Walter, T. |
|
1999 |
41 |
11-12 |
p. 781-798 18 p. |
artikel |
2 |
A medium access control protocol for voice and data integration in receiver-oriented DS-CDMA PCNs
|
Yang, Y. |
|
1999 |
41 |
11-12 |
p. 755-765 11 p. |
artikel |
3 |
A model-based authorware for the construction of distributed multimedia systems
|
Cheung, S.C |
|
1999 |
41 |
11-12 |
p. 715-727 13 p. |
artikel |
4 |
A protocol synthesis method for fault-tolerant multipath routing
|
Ishida, K |
|
1999 |
41 |
11-12 |
p. 745-754 10 p. |
artikel |
5 |
A service creation environment based on scenarios
|
Dssouli, R. |
|
1999 |
41 |
11-12 |
p. 697-713 17 p. |
artikel |
6 |
Communications software design for testability: specification transformations and testability measures
|
Dssouli, R |
|
1999 |
41 |
11-12 |
p. 729-743 15 p. |
artikel |
7 |
Communications software engineering (CSE)
|
Saleh, K. |
|
1999 |
41 |
11-12 |
p. 695-696 2 p. |
artikel |
8 |
Controllability and observability in distributed testing
|
Cacciari, L. |
|
1999 |
41 |
11-12 |
p. 767-780 14 p. |
artikel |
9 |
Efficient checking sequences for testing finite state machines
|
Inan, K. |
|
1999 |
41 |
11-12 |
p. 799-812 14 p. |
artikel |
10 |
Extending EASE with new ASN.1 encoding rules
|
Lai, R |
|
1999 |
41 |
11-12 |
p. 823-837 15 p. |
artikel |
11 |
Passive testing and application to the GSM-MAP protocol
|
Tabourier, M. |
|
1999 |
41 |
11-12 |
p. 813-821 9 p. |
artikel |
12 |
Recovery of CFSM-based protocol and service design from protocol execution traces
|
Saleh, K. |
|
1999 |
41 |
11-12 |
p. 839-852 14 p. |
artikel |