• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Nätverk och kommunikation

      Protocol Test Systems VIII

      Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995

      AvAna Cavalli,Stan Budkowski

      Inbunden, Engelska, 1996

      Del i serien IFIP Advances in Information and Communication Technology

      2 237 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS'95 is the eighth of a series of annual meetings sponsored by the IFIP Working Group WG6.1 dedicated to "Architecture and Protocols for Computer Networks". The seven previous workshops were held in Vancouver (Canada, 1988), Berlin (Germany, 1989), Mclean (USA, 1990), Leidschendam (The Netherlands, 1991), Montreal (Canada, 1992), Pau (France, 1993) and Tokyo (Japan, 1994). The workshop is a meeting place where both research and industry, theory and practice come together. By bringing both researchers and practitioners together, IWPTS opens up the communication between these groups. This helps keep the research vital and improves the state of the practitioner's art. Forty-eight papers have been submitted to IWPTS'95 and all of them have been reviewed by the members of the Program Committee and additional reviewers. The completed reviewers list is included in this Proceedings. Based on these reviews, the Program Committee selected 26 for oral presentation and 4 to be presented as posters. Two specially invited papers complete the Workshop Program, which is composed of ten sessions: Testing Methods (Session 1), Test Environments (Session 2), Theoretical Framework (Session 3), Algorithms and Languages (Session 4), Test Generation 1 (Session 5), Testability (Session 6), Test Generation 2 (Session 7), Industrial Applications (Session 8), Distributed Testing and performance (Session 9) and Test Management (Session 10).

      Produktinformation

      • Utgivningsdatum:1996-01-31
      • Mått:155 x 235 x 25 mm
      • Vikt:826 g
      • Format:Inbunden
      • Språk:Engelska
      • Serie:IFIP Advances in Information and Communication Technology
      • Antal sidor:452
      • Upplaga:1996
      • Förlag:Chapman and Hall
      • ISBN:9780412781100

      Utforska kategorier

      • Nätverk och kommunikation inom Data och IT
      • Klassisk mekanik inom Naturvetenskap och teknik

      Innehållsförteckning

      • 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.
      Hoppa över listan

      Du kanske också är intresserad av

      Stan Budkowski, Elie Najm, Stan Budkowski, Ana Cavalli, Elie Najm - Formal Description Techniques and Protocol Specification, Testing and Verification, Inbunden

      Formal Description Techniques and Protocol Specification, Testing and Verification

      Stan Budkowski, Elie Najm, Stan Budkowski, Ana Cavalli, Elie Najm

      Inbunden, 1998

      2 237 kr

      Ana Cavalli, Stan Budkowski - Protocol Test Systems VIII, Häftad

      Protocol Test Systems VIII

      Ana Cavalli, Stan Budkowski

      Häftad, 2013

      2 237 kr

      Stan Budkowski, Ana Cavalli - Protocol Test Systems VIII, E-bok

      Protocol Test Systems VIII

      Stan Budkowski, Ana Cavalli

      E-bok
      2013

      2 862 kr

      Ana Cavalli, Stan Budkowski - Protocol Test Systems VIII : Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995, Övrigt

      Protocol Test Systems VIII : Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995

      Ana Cavalli, Stan Budkowski

      652 kr

      Stan Budkowski, Ana Cavalli, Elie Najm - Formal Description Techniques and Protocol Specification, Testing and Verification, Häftad
      Del 6

      Formal Description Techniques and Protocol Specification, Testing and Verification

      Stan Budkowski, Ana Cavalli, Elie Najm

      Häftad, 2013

      2 237 kr

      Elie Najm, Ana Cavalli, Stan Budkowski - Formal Description Techniques and Protocol Specification, Testing and Verification, E-bok

      Formal Description Techniques and Protocol Specification, Testing and Verification

      Elie Najm, Ana Cavalli, Stan Budkowski

      E-bok
      2013

      2 862 kr

      Stan Budkowski, Ana Cavalli - Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Confere, Övrigt

      Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Confere

      Stan Budkowski, Ana Cavalli

      646 kr

      Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre - Data Privacy Management and Autonomous Spontaneous Security, Häftad

      Data Privacy Management and Autonomous Spontaneous Security

      Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre

      Häftad, 2011

      581 kr

      Jean Leneutre, Ana Cavalli, Guillermo Navarro-Arribas, Joaquin Garcia-Alfaro - Data Privacy Management and Autonomous Spontaneous Security, E-bok

      Data Privacy Management and Autonomous Spontaneous Security

      Jean Leneutre, Ana Cavalli, Guillermo Navarro-Arribas, Joaquin Garcia-Alfaro

      E-bok
      2011

      739 kr

      Amardeo Sarma, Ana Cavalli - SDL '97: Time for Testing, E-bok

      SDL '97: Time for Testing

      Amardeo Sarma, Ana Cavalli

      E-bok
      1997

      3 428 kr