Validation of communications systems with SDL : the art of SDL simulation and reachability analysis - Doldi, Laurent (Chichester ; Wiley, 2003)
Includes bibliographical references and index
Keywords: Wireless communication systems -- Computer simulation; Mobile communication systems -- Computer simulation; SDL (Computer program language)