"Model-Based Testing of Reactive Systems: Advanced Lectures"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Model-Based Testing of Reactive Systems: Advanced Lectures	Manfred Broy; Bengt Jonsson; Joost-Pieter Katoen; Martin Leucker; Alexander Pretschner	2005	Springer Berlin Heidelberg
Model-Based Testing for Embedded Systems	Justyna Zander; Ina Schieferdecker; Pieter J. Mosterman	2012	Routledge
Model-Based Testing for Embedded Systems	Zander, Justyna	2011	CRC Press
Practical Model-Based Testing	Mark Utting and Bruno Legeard	2007	Morgan Kaufmann
Mechanics and Model-Based Control of Advanced Engineering Systems	Alexander K. Belyaev; Hans Irschik; Michael Krommer	2014	Springer Vienna
The Craft of Model-Based Testing	Paul C. Jorgensen	2017	Routledge
Model-Based Systems Engineering	A. Terry Bahill; A. Wayne Wymore	1993	Routledge
Model-based systems engineering	Wymore, A. Wayne	1993	CRC Press
Model-Based Control of Networked Systems	Eloy Garcia; Panos J. Antsaklis; Luis A. Montestruque	2014	Springer International Publishing
Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology	Klaus Pohl; Manfred Broy; Heinrich Daembkes; Harald Hönninger	1st ed. 2016	Springer International Publishing
Advanced Techniques for Testing of Cement-Based Materials	Marijana Serdar; Ivan Gabrijel; Dirk Schlicke; Stéphanie Staquet; Miguel Azenha	1st ed. 2020	Springer International Publishing
Effective Model-Based Systems Engineering	John M. Borky; Thomas H. Bradley	1st ed. 2019	Springer International Publishing
Practical Model-Based Systems Engineering	Jose L. Fernandez, Carlos Hernandez	2019	Artech House
Advanced Video-Based Surveillance Systems	Carlo S. Regazzoni; Gianni Fabri; Gianni Vernazza	1999	Springer US
LabVIEW based Advanced Instrumentation Systems	S. Sumathi; P. Surekha	2007	Springer Berlin Heidelberg
Advanced topics in cell model systems	Antonella Macagnano	2009	Nova Science Publishers
Information systems implementation: testing a structural model	Henry C. Lucas	1990	Ablex Pub.
Model-based Health Monitoring of Hybrid Systems	Danwei Wang; Ming Yu; Chang Boon Low; Shai Arogeti	2013	Springer New York
Model-Based Tracking Control of Nonlinear Systems	Elzbieta Jarzebowska	2012	Routledge
Model-Based Design of Adaptive Embedded Systems	Jacques Verriet, Twan Basten, Roelof Hamberg (auth.), Twan Basten, Roelof Hamberg, Frans Reckers, Jacques Verriet (eds.)	2013	Springer-Verlag New York
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Model-Based Mutation Testing of Reactive Systems	Bernhard K. Aichernig	Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday	Zhiming Liu; Jim Woodcock; Huibiao Zhu	2013	Springer Berlin Heidelberg
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer	Margus Veanes; Colin Campbell; Wolfgang Grieskamp; Wolfram Schulte; Nikolai Tillmann; Lev Nachmanson	Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers	Robert M. Hierons; Jonathan P. Bowen; Mark Harman	2008	Springer Berlin Heidelberg
Model-Based Testing of Probabilistic Systems	Marcus Gerhold; Mariëlle Stoelinga	Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings	Perdita Stevens; Andrzej Wąsowski	1st ed. 2016	Springer Berlin Heidelberg
Model-Based Testing of Hybrid Systems	Thao Dang	Model-Based Testing for Embedded Systems	Justyna Zander; Ina Schieferdecker; Pieter J. Mosterman	2012	Routledge
Interruption Testing of Reactive Systems	Wilkerson L. Andrade; Patrícia D. L. Machado	Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers	Marcel Vinícius Medeiros Oliveira; Jim Woodcock	2009	Springer Berlin Heidelberg
Incremental Learning-Based Testing for Reactive Systems	Karl Meinke; Muddassar A. Sindhu	Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings	Martin Gogolla; Burkhart Wolff	2011	Springer Berlin Heidelberg
Advanced Model-Based Engineering of Embedded Systems	Klaus Pohl; Manfred Broy; Heinrich Daembkes; Harald Hönninger	Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology	Klaus Pohl; Manfred Broy; Heinrich Daembkes; Harald Hönninger	1st ed. 2016	Springer International Publishing
Model-Based Design and Verification of Reactive Systems	Jiří Hýsek; Milan Češka; Vladimír Janoušek	Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers	Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada-Arencibia	2009	Springer Berlin Heidelberg
Automated Requirements-Based Testing of Black-Box Reactive Systems	Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto	NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings	Ritchie Lee; Susmit Jha; Anastasia Mavridou; Dimitra Giannakopoulou	1st ed. 2020	Springer International Publishing
Model-Based Testing of Object-Oriented Systems	Bernhard Rumpe	Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures	Frank S.de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever	2003	Springer Berlin Heidelberg
Model-Based Testing of Cyber-Physical Systems	A. Aerts; M. Reniers; M.R. Mousavi	Cyber-Physical Systems	Houbing Song; Danda B. Rawat; Sabina Jeschke and Christian Brecher	2017	Academic Press
Model-Based Testing of Industrial Transformational Systems	Petur Olsen; Johan Foederer; Jan Tretmans	Testing Software and Systems: 23rd IFIP WG 6. 1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings	Burkhart Wolff; Fatiha Zaidi	2011	Springer Berlin Heidelberg
Model-Based Mutation Testing of Hybrid Systems	Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn	Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers	Frank S. de Boer; Marcello M. Bonsangue; Stefan Hallerstede; Michael Leuschel	2011	Springer Berlin Heidelberg
Model Based Testing of Cyber-Physical Systems	Teck Ping Khoo	Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings	Jing Sun; Meng Sun	1st ed. 2018	Springer International Publishing
14 Model-Based Testing of Hybrid Systems		Model-Based Testing for Embedded Systems	Zander, Justyna	2011	CRC Press
Model-Based Testing for Asynchronous Systems	Alexander Graf-Brill; Holger Hermanns	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, September 18–20, 2017, Proceedings	Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti	1st ed. 2017	Springer International Publishing
Model Based Testing for Agent Systems	Zhiyong Zhang; John Thangarajah; Lin Padgham	Software and Data Technologies: Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers	Joaquim Filipe; Boris Shishkov; Markus Helfert; Leszek Maciaszek	2009	Springer Berlin Heidelberg
Model-Based Testing for Avionics Systems	Jörg Brauer; Uwe Schulze	Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings	Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink	1st ed. 2018	Springer International Publishing
Model-Based Testing	Paul Baker; Zhen Ru Dai; Jens Grabowski; Øystein Haugen; Ina Schieferdecker; Clay Williams	Model-Driven Testing: Using the UML Testing Profile	Paul Baker; Zhen Ru Dai; Jens Grabowski; Øystein Haugen; Ina Schieferdecker; Clay Williams	2008	Springer Berlin Heidelberg
Model-Based Testing	Paul C. Jorgensen; Byron DeVries	Software Testing: A Craftsman&s; s Approach	Paul C. Jorgensen; Byron DeVries	2021	Routledge
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Model-Based Testing of Reactive Systems: Advanced Lectures" - similar Books and Chapters