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

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Computers - Programming

Jahr:

2008

Sprache:

spanish

ISBN 10:

3540262784

ISBN 13:

9783540262787

Datei:

PDF, 5.87 MB

IPFS:

,

spanish, 2008

Dieses Buch ist für das Herunterladen wegen der Beschwerde des Urheberrechtsinhabers nicht verfügbar

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

— Pravin Lal

Es kann für Sie interessant sein

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

Am meisten angefragte Begriffe