Protocol Specification, Testing and Verification XV

Inbunden, Engelska, 1995

2 689 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.

Produktinformation

Utgivningsdatum1995-11-30
Mått156 x 234 x 30 mm
Vikt869 g
FormatInbunden
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor455
FörlagChapman and Hall
ISBN9780412716201

Tillhör följande kategorier

Nätverk och kommunikation inom Data och it
Klassisk mekanik inom Naturvetenskap och teknik
Elektronik och kommunikationer inom Naturvetenskap och teknik
Hårdvara inom Data och it
Systemvetenskap och AI inom Data och it

Preface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.