Model Based Testing Of Reactive Systems Advanced Lectures...

Main
Computers - Programming
Model Based Testing Of Reactive Systems...

Model Based Testing Of Reactive Systems Advanced Lectures 2004 3472 2005 3540262784 645s

Desconocido

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Computers - Programming

Tahun:

2008

Bahasa:

spanish

ISBN 10:

3540262784

ISBN 13:

9783540262787

Fail:

MOBI , 1.81 MB

IPFS:

,

spanish, 2008

Baca dalam Talian

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) — CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 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

Bernd Baumgarten (auth.), Tadanori Mizuno, Teruo Higashino, Norio Shiratori (eds.) — Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

Piotr Dembiński, Marek Średniawa (eds.) — 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

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

Doron A. Peled — Software Reliability Methods

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse (auth.), Jens Grabowski, Brian Nielsen (eds.) — Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.) — Model-Based Testing of Reactive Systems: Advanced Lectures

Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil (auth.), M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.) — Testing of Communicating Systems: 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

Elaine J. Weyuker (auth.), Dieter Hogrefe, Anthony Wiles (eds.) — Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26–28, 2003 Proceedings

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.) — Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

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

Robin Milner (auth.), W.R. Cleaveland (eds.) — CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 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

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) — CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 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

Yutaka Yasuda (auth.), Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.) — Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

Antti Huima (auth.), Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.) — Testing of Software and Communicating Systems: 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

Manuel Nunez, Paul Baker, Mercedes G. Merayo — Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, ... Networks and Telecommunications)

Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni (auth.), Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.) — Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Istilah utama