Validation of Communications Systems with SDL
The Art of SDL Simulation and Reachability Analysis
Validation of Communications Systems with SDL provides a clear practical guide to validating, by simulation, a telecom system modelled in SDL. SDL, the Specification and Description Language standardised by the International Telecommunication Union (ITU T), is used to specify and develop complex systems such as GSM, GPRS, UMTS, IEEE 802.
Quick Tutorial on SDL.
The V.76 Protocol Case Study.
Automatic Observation of Simulations.
Other Simulator Features.