11 search results - page 2 / 3 » sdl 2001 |
SDL
2001
13 years 6 months ago
2001
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
SDL
2001
13 years 6 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
CODES
2001
IEEE
13 years 8 months ago
2001
IEEE
SDL
2001
13 years 6 months ago
2001
In this paper we describe our experiences in building tools for accelerating maintenance of existing large telecommunications software. We discuss how various maintenance activitie...
MMB
2001
Springer
13 years 9 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...