Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150518 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Validation of communications systems with SDL : the art of SDL simulation and reachability analysis
Autor: Doldi, Laurent
Rok: c2003.
ISBN: 9780470852866
OKCZID: 110322473
Citace (dle ČSN ISO 690):
DOLDI, Laurent. Validation of communications systems with SDL: the art of SDL simulation and reachability analysis. Chichester: John Wiley & Sons, c2003. x, 296 s.
Anotace
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.11 or Hiperlan. Since the downturn in the telecom industry, validating a system before its implementation has become mandatory to reduce costs. This volume guides you step by step through the validation of a simplified protocol layer, from interactive simulation to proof of properties using reachability analysis combined with observers. Every step is explained, using the two main SDL tools commercially available: ObjectGeode™ and Tau SDL™ Suite, both from Telelogic. Contents: Short tutorial on SDL Presentation of the protocol layer case study Interactive simulation, MSC generation Scripting, automatic non-regression Auto matic validation against MSC, HMSC, etc. Random simulation Exhaustive and bit-state simulation Errors detected and not detected by simulation Other simulator features This book offers you the opportunity to: Learn expert validation techniques and tips Master advanced simulation features of Telelogic ObjectGeode™ and Tau SDL Suite™ Practice 156 hands-on exercises with solutions. The SDL models and scripts used in the exercises can be downloaded from the Web.