Articoli correlati a Formal Methods for Protocol Engineering and Distributed...

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 - Brossura

 
9781475752700: Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28

Sinossi

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:

  • FDT-based system and protocol engineering;
  • FDT application to distributed systems;
  • Protocol engineeering;
  • Practical experience and case studies.

Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Preface. Committee Members. List of Referees. Invited Talk I. Part One: Test I. 1. Conforming configurations in EFSM; A. Petrenko, et al. 2. Remote testing can be as powerful as local testing; C. Jard, et al. 3. Hit-or-Jump: An algorithm for embedded testing with applications to IN services; A. Cavalli, et al. Part Two: FDTs I. 4. Scalable and Object Oriented SDL State(chart)s; B. Möller-Pedersen, D. Nogva. 5. Prototyping Framework for SDL with Evolving Semantics; P. Csurgay. 6. Framework for Automatic SDL to C++ Translation; D. Trossen, et al. Part Three: Test II. 7. Stress Testing of Distributed Multimedia Software Systems; J. Zhang, et al. 8. Fair Testing through Probabilistic Testing; M. Núñez, D. Rupérez. 9. A Formal Approach to Conformance Testing of Distributed Routing Protocols; J. Bi, J. Wu. Invited Talk II. Part Four: FDTs II. 10. Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering; P. Langendörfer, H. König. 11. A Graphical Parallel Composition Operator for Process Algebras; H. Garavel, M. Sighireanu. 12. Guaranteeing liveness in an object calculus through behavioural typing; E. Najm, et al. Part Five: Model Checking. 13. Black Box Checking; D. Peled, et al. 14. An Optimizing Compiler for Efficient Model Checking; Y. Dong, C.R. Ramakrishnan. 15. Exploiting Symmetry when Model-Checking Software; P. Godefroid. Part Six: Verification. 16. User-FriendlyVerification; P.-A. Hsiung, F. Wang. 17. Specification and Verification of Synchronous Hardware using LOTOS; J. He, K.J. Turner. 18. Provably Correct Hardware Compilation using Timing Diagrams; M. Schenke, M. Dossis. Invited Talk III. Part Seven: Test III. 19. An enhanced model for testing asynchronous communicating systems; M. Kim, et al. 20. Interoperability Test Suite Derivation for the TCP; S. Seol. 21. Coverage analysis for embedded testing and an application; J. Zhu, S.T. Vuong. Part Eight: FDTs III. 22. A Formal Description Technology: Graphic E-LOTOS; L. Wen, et al. 23. Global Timed Bisimulation: An Introduction; D. de Frutos-Escrig, et al. 24. Protocol Synthesis for Real-Time Applications; A. Khoumsi, et al. Part Nine: Case Studies. 25. Verifying an infinite family of inductions simultaneously using data independence and FDR; S.J. Creese and A.W. Roscoe. 26. Specification and execution of tests using tMsc; I. Ober, A. Kerbrat. 27. Model-Checking A Secure Group Communication Protocol: A Case Study; A.J. Hu, et al. Part Ten: Invited Papers. 28. Software Model Checking; G.J. Holzmann, M.H. Smith. List of Contributors. Short Papers.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2013
  • ISBN 10 1475752709
  • ISBN 13 9781475752700
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine516
  • RedattoreJianping Wu, Chanson Samuel T., Quiang Gao
  • Contatto del produttorenon disponibile

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780792386469: Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii/Pstv Xix'99 : Ifip Tc6 Wg6.1 Joint International Conference on Formal ... for Distributed Systems and Communication: 28

Edizione in evidenza

ISBN 10:  0792386469 ISBN 13:  9780792386469
Casa editrice: Kluwer Academic Pub, 1999
Rilegato

Risultati della ricerca per Formal Methods for Protocol Engineering and Distributed...

Immagini fornite dal venditore

Wu, Jianping|Chanson, Samuel T.|Gao, Quiang
Editore: Springer US, 2013
ISBN 10: 1475752709 ISBN 13: 9781475752700
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools a. Codice articolo 4207371

Contatta il venditore

Compra nuovo

EUR 180,07
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jianping Wu
Editore: Springer US Apr 2013, 2013
ISBN 10: 1475752709 ISBN 13: 9781475752700
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners. 516 pp. Englisch. Codice articolo 9781475752700

Contatta il venditore

Compra nuovo

EUR 213,99
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jianping Wu
ISBN 10: 1475752709 ISBN 13: 9781475752700
Nuovo Taschenbuch
Print on Demand

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering;FDT application to distributed systems;Protocol engineeering;Practical experience and case studies.Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch. Codice articolo 9781475752700

Contatta il venditore

Compra nuovo

EUR 213,99
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Jianping Wu
Editore: Springer US, Springer US, 2013
ISBN 10: 1475752709 ISBN 13: 9781475752700
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners. Codice articolo 9781475752700

Contatta il venditore

Compra nuovo

EUR 219,37
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2013
ISBN 10: 1475752709 ISBN 13: 9781475752700
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9781475752700_new

Contatta il venditore

Compra nuovo

EUR 232,61
Convertire valuta
Spese di spedizione: EUR 10,62
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2013
ISBN 10: 1475752709 ISBN 13: 9781475752700
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar2716030093578

Contatta il venditore

Compra nuovo

EUR 208,23
Convertire valuta
Spese di spedizione: EUR 65,58
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Jianping Wu (Editor) / Chanson, Samuel T. (Editor) / Quiang Gao (Editor)
Editore: Springer, 2013
ISBN 10: 1475752709 ISBN 13: 9781475752700
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 512 pages. 10.87x8.27x1.26 inches. In Stock. Codice articolo x-1475752709

Contatta il venditore

Compra nuovo

EUR 312,20
Convertire valuta
Spese di spedizione: EUR 11,81
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello