"Model-Based Design and Verification of Reactive Systems"

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
Reactive Systems: Modelling, Specification and Verification	Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba	2007-08	Cambridge University Press
Temporal Verification of Reactive Systems: Safety	Zohar Manna; Amir Pnueli	1995	Springer New York
Verification of Reactive Systems: Formal Methods and Algorithms	Klaus Schneider	2004	Springer Berlin Heidelberg
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
Model-Based Design of Adaptive Embedded Systems	Twan Basten; Roelof Hamberg; Frans Reckers; Jacques Verriet	2013	Springer New York
Model-Based Design for Embedded Systems	Pieter J. Mosterman; Gabriela Nicolescu; Pieter J. Mosterman	2010	Routledge
Design Methods for Reactive Systems	R.J. Wieringa	2003	Morgan Kaufmann
Embedded Systems Handbook: Embedded Systems Design and Verification	Richard Zurawski	2009	Routledge
Verification and Validation of Rule-Based Expert Systems	Suzanne Smith; Abraham Kandel	1993	Routledge
Model based design and verification of a rapid dive controller for an Autonomous Underwater Vehicle	Gordon S. MacDonald	1989	Naval Postgraduate School
Shipboard Power Systems Design and Verification Fundamentals	Mohammed M. Islam	2018	Wiley-IEEE Standards Association
Model-Based Systems Engineering	A. Terry Bahill; A. Wayne Wymore	1993	Routledge
Model-based systems engineering	Wymore, A. Wayne	1993	CRC Press
Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Functional Verification of Dynamically Reconfigurable FPGA-based Systems	Lingkan Gong; Oliver Diessel	2015	Springer International Publishing
Model-Based Control of Networked Systems	Eloy Garcia; Panos J. Antsaklis; Luis A. Montestruque	2014	Springer International Publishing
Stochastic Reactive Distributed Robotic Systems: Design, Modeling and Optimization	Gregory Mermoud	2014	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
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 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
Model-Based Design and Verification of Reactive Syste		Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers	Josef Scharinger (auth.), Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.)	2009	Springer-Verlag Berlin Heidelberg
Games for Formal Design and Verification of Reactive Systems	Rajeev Alur	Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings	Farn Wang	2004	Springer Berlin Heidelberg
Visual verification of reactive systems	Luca de Alfaro; Zohar Manna; Henny B. Sipma; Tomás E. Uribe	Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS' 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings	Ed Brinksma	1997	Springer Berlin Heidelberg
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
Abstract interpretation and verification of reactive systems	J. C. Fernandez	Static Analysis: Third International Workshop, WSA ' 93, Padova, Italy, September 22-24, 1993. Proceedings	Patrick Cousot; Moreno Falaschi; Gilberto File; Antoine Rauzy	1993	Springer Berlin Heidelberg
Temporal Verification of Reactive Systems: Response	Zohar Manna; Amir Pnueli	Time for Verification: Essays in Memory of Amir Pnueli	Zohar Manna; Doron A. Peled	2010	Springer Berlin Heidelberg
Verification of Embedded Reactive Fiffo Systems	Frédéric Herbreteau; Franck Cassez; Alain Finkel; Olivier Roux; Grégoire Sutre	LATIN 2002: Theoretical Informatics: 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings	Sergio Rajsbaum	2002	Springer Berlin Heidelberg
A Priori Verification of Reactive Systems	Mila Majster-Cederbaum; Frank Salger; Maria Sorea	Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy	Tommaso Bolognesi; Diego Latella	2000	Springer US
Model-Based Verification	Jim Holmes	Extreme Environment Electronics	John D. Cressler; H. Alan Mantooth	2013	Routledge
From Model-Based Design to Formal Verification of Adaptive Embedded Systems	Rasmus Adler; Ina Schaefer; Tobias Schuele; Eric Vecchié	Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings	Michael Butler; Michael G. Hinchey; Maria M. Larrondo-Petrie	2007	Springer Berlin Heidelberg
FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS	Martin Kardos; Norbert Fristacky	From Specification to Embedded Systems Application	Achim Rettberg; Mauro C. Zanella; Franz J. Rammig	2005	Springer US
Graphical design of reactive systems	Emil Sekerinski	B' 98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings	Didier Bert	1998	Springer Berlin Heidelberg
Design and Verification of Digital Systems		Scalable Hardware Verification with Symbolic Simulation	Valeria Bertacco	2006	Springer US
Verification of reactive systems using DisCo and PVS	Pertti Kellomäki	FME ' 97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings	John Fitzgerald; Cliff B. Jones; Peter Lucas	1997	Springer Berlin Heidelberg
Synchronous Observers and the Verification of Reactive Systems	Nicolas Halbwachs; Fabienne Lagnier; Pascal Raymond	Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993	Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo	1994	Springer London
Visual Modeling and Verification of Distributed Reactive Systems	A. Iqbal; A. K. Bhattacharjee; S. D. Dhodapkar; S. Ramesh	Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings	Stuart Anderson; Massimo Felici; Bev Littlewood	2003	Springer Berlin Heidelberg
DESIGN VERIFICATION AND EXPERT SYSTEMS	A.F. Schwarz	Handbook of VLSI Chip Design and Expert Systems	A. F. Schwarz	1993	Academic Press
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems	Klaus Schneider; Jens Brandt	Handbook of Hardware/Software Codesign	Soonhoi Ha; Jürgen Teich	1st ed. 2017	Springer Netherlands
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems	Klaus Schneider; Jens Brandt	Handbook of Hardware/Software Codesign	Soonhoi Ha; Jürgen Teich	0th ed. 2020	Springer Netherlands
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Model-Based Design and Verification of Reactive Systems" - similar Books and Chapters