Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995: IFIP Advances in Information and Communication Technology
Editat de Ana Cavalli, Stan Budkowskien Limba Engleză Hardback – 31 ian 1996
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 1178.99 lei 6-8 săpt. | |
| Springer – 27 feb 2013 | 1178.99 lei 6-8 săpt. | |
| Hardback (1) | 1183.12 lei 6-8 săpt. | |
| Springer Us – 31 ian 1996 | 1183.12 lei 6-8 săpt. |
Din seria IFIP Advances in Information and Communication Technology
- 20%
Preț: 555.69 lei - 20%
Preț: 746.71 lei - 20%
Preț: 623.07 lei - 20%
Preț: 623.39 lei - 20%
Preț: 327.36 lei -
Preț: 382.30 lei - 20%
Preț: 323.23 lei - 20%
Preț: 327.99 lei - 20%
Preț: 528.48 lei - 15%
Preț: 527.06 lei - 20%
Preț: 527.38 lei - 20%
Preț: 424.44 lei - 15%
Preț: 624.01 lei - 20%
Preț: 1116.37 lei - 18%
Preț: 909.08 lei - 20%
Preț: 1232.88 lei - 20%
Preț: 689.95 lei - 20%
Preț: 1237.46 lei - 20%
Preț: 1235.90 lei - 18%
Preț: 921.04 lei - 18%
Preț: 1176.56 lei - 20%
Preț: 1848.88 lei - 20%
Preț: 1231.59 lei - 18%
Preț: 1183.54 lei - 18%
Preț: 1185.98 lei - 20%
Preț: 1236.38 lei - 20%
Preț: 2110.89 lei - 18%
Preț: 1187.02 lei - 15%
Preț: 611.74 lei - 18%
Preț: 1179.16 lei - 15%
Preț: 616.45 lei - 18%
Preț: 1187.64 lei - 18%
Preț: 1191.27 lei - 15%
Preț: 613.18 lei - 20%
Preț: 1327.97 lei - 18%
Preț: 1178.22 lei - 20%
Preț: 952.00 lei - 20%
Preț: 1666.09 lei - 20%
Preț: 1237.63 lei - 18%
Preț: 1181.44 lei - 18%
Preț: 1179.90 lei - 20%
Preț: 623.22 lei - 18%
Preț: 916.93 lei - 20%
Preț: 614.65 lei - 20%
Preț: 1235.10 lei - 18%
Preț: 913.45 lei - 18%
Preț: 1184.15 lei
Preț: 1183.12 lei
Preț vechi: 1442.82 lei
-18% Nou
Puncte Express: 1775
Preț estimativ în valută:
209.33€ • 243.87$ • 182.79£
209.33€ • 243.87$ • 182.79£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780412781100
ISBN-10: 0412781107
Pagini: 452
Ilustrații: XII, 452 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.83 kg
Ediția:1996
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology
Locul publicării:New York, NY, United States
ISBN-10: 0412781107
Pagini: 452
Ilustrații: XII, 452 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.83 kg
Ediția:1996
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.