Protocol Specification, Testing and Verification XV:...

Main
Engineering
Protocol Specification, Testing and...

Protocol Specification, Testing and Verification XV: Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995

Piotr Dembiński, Marek Średniawa (eds.)

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Տարի:

1996

Հրատարակչություն:

Springer US

Լեզու:

english

Էջեր:

452

ISBN 10:

1504129253

ISBN 13:

9781504129251

Սերիաներ:

IFIP Advances in Information and Communication Technology

Ֆայլ:

PDF, 39.13 MB

IPFS:

,

english, 1996

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Roger Kerr, Elizabeth Szelke (eds.) — Artificial Intelligence in Reactive Scheduling: A volume based on the IFIP SIG Second Workshop on Knowledge-based Reactive Scheduling, Budapest, Hungary, June 1994

Fred Mulder, Tom van Weert (eds.) — Informatics in Higher Education: Views on informatics and non-informatics curricula

Unknown — Modeling And Verification Of Parallel Processes 4 School Movep 2000 2067 2001 3540427872 227s

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled — Model checking

D. Agnew, L. Claesen, R. Camposano — Computer Hardware Description Languages and their Applications. Proceedings of the 11th IFIP Wg10.2 International Conference on Computer Hardware Description Languages and their Applications–Chdl'93, Ottawa, Ontario, Canada, 26–28 April, 1993

K.R. Parker and G.A. Rose (Eds.) — Formal Description Techniques, IV. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19–22 November 1991

R.J. Linn and M.Ü. Uyar (Eds.) — Protocol Specification, Testing and Verification, XII. Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992

Nicolas Navet, Stephan Merz — Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci — Models and Analysis in Distributed Systems

Doron A. Peled — Software Reliability Methods

Richard Lai, Ajin Jirachiefpattana (auth.) — Communication Protocol Specification and Verification

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci — Models and Analysis for Distributed Systems

Jürgen M. Schneider — Protocol Engineering: A Rule-based Approach

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.) — Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Rajeev Alur (auth.), Farn Wang (eds.) — Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Unknown — Modeling And Verification Of Parallel Processes 4 School Movep 2000 2067 2001 3540427872 227s

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.) — Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) — Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Colin Sterling (auth.), Kim G. Larsen, Arne Skou (eds.) — Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.) — Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Robert K. Brayton (auth.), Costas Courcoubetis (eds.) — Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Flaviu Cristian (auth.), Bengt Jonsson, Joachim Parrow (eds.) — Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

Gérard Berry (auth.), Ed Brinksma (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings

F. Erich Marschner (auth.), Orna Grumberg (eds.) — Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Randal E. Bryant (auth.), Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Unknown — Concur 99 Concurrency Theory 10 1664 1999 3540664254 584s

Հիմնական արտահայտություններ