Sciweavers

SAM
2000
89views Hardware» more  SAM 2000»
14 years 1 months ago
HyperMSC - a Graphical Representation of TTCN
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski
SAM
2000
102views Hardware» more  SAM 2000»
14 years 1 months ago
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
Olaf Henniger, Hasan Ural
SAM
2000
80views Hardware» more  SAM 2000»
14 years 1 months ago
SDL for Real-Time: What is Missing?
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent...