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

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Computers - Programming

წელი:

2008

ენა:

spanish

ISBN 10:

3540262784

ISBN 13:

9783540262787

ფაილი:

PDF, 5.87 MB

IPFS:

,

spanish, 2008

ამ წიგნის ჩამოტვირთვა მიუწვდომელია საავტორო უფლებების მფლობელის საჩივრის გამო

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

შესაძლოა დაგაინტერესოთ

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.) — Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Peter Csaba Ölveczky, Gwen Salaün — Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira — Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Dirk Beyer, Chantal Keller — Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa — Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.) — Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors) — Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

Cavalli, Ana; Yenigun, Husnu; Yevtushenko, Nina — Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Paweł Rychwalski, Jacek Wytrębowicz (auth.), Hartmut König, Monika Heiner, Adam Wolisz (eds.) — Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings

Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.) — Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

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

T. S. E. Maibaum (auth.), Ferhat Khendek, Rachida Dssouli (eds.) — Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

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

Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (eds.) — Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

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

Natarajan Shankar (auth.), Catuscia Palamidessi (eds.) — CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 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

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

Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.) — Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.) — Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Marsha Chechik, Jean-François Raskin (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce

საკვანძო ფრაზები