Protocol Test Systems VIII

1.299,00 RON
+ 33,49 RON Livrare

Protocol Test Systems VIII

  • Marcă: Unbranded
Vândut de:

Protocol Test Systems VIII

  • Marcă: Unbranded

1.299,00 RON

În stoc
+ 33,49 RON Livrare

Politica de retur pe 14 zile

Vândut de:

1.299,00 RON

În stoc
+ 33,49 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

Protocol Test Systems VIII

1 Testing through the ages. - 2 An executable protocol test sequence generation method for EFSM-specified protocols. - 3 Transformation of Estelle modules aiming at test case generation. - 4 Application of a LOTOS based test environment on AAL5. - 5 Stable testers for environment sensitive systems. - 6 Timed systems behaviour and conformance testing a mathematical framework. - 7 An adaptative test sequence generation method for the users needs. - 8 A framework for testing telecommunication services. - 9 Conformance testing of protocols specified as labeled transition systems. - 10 Two approaches linking test generation with verification techniques. - 11 PROSPECT a proposal for a new test specification language and its implementation. - 12 Test sequence generation for adaptive interoperability testing. - 13 Fault-tolerant UIO sequences in finite state machines. - 14 Guaranteeing full fault coverage for UIO-based testing methods. - 15 Towards testable communication software. - 16 Design for testability of protocols based on formal specifications. - 17 On the design for testability of communication protocols. - 18 A unified test case generation method for the EFSM model using context independent unique sequences. - 19 Handling redundant and additional states in protocol testing. - 20 Experiences with the design of B-ISDN integrated test system (BITS). - 21 The testing of BTs intelligent peripheral using abstract test suites from ETSI. - 22 Design of intelligent OSI protocol monitor. - 23 Management and maintenance of TTCN abstract test suites. - 24 Port-synchronizable test sequences for communication protocols. - 25 Synchronizable and checking sequences based on UIO sequences. - 26 Specification-driven performance monitoring of SDL/MSC-specified protocols. - 27 Test management and TTCNbased test sequencing. - 28 Towards a practical formal method' for test derivation. - Index of contributors. - Keyword index. Language: English
  • Marcă: Unbranded
  • Categorie: Educație
  • Artist: Ana Cavalli
  • Limbă: English
  • Număr de pagini: 452
  • Format: Paperback
  • Data publicării: 2013/02/27
  • Editor / Etichetă: Springer
  • ID Fruugo: 450897564-950608367
  • ISBN: 9781475763126

Livrări şi Returnări

Expediat în 6 zile

  • STANDARD: 33,49 RON - Livrare între vin. 16 ianuarie 2026–mie. 21 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare