"Embedded Systems Design Based on Formal Models of Computation"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Embedded Systems Design Based on Formal Models of Computation	Ivan Radojevic; Zoran Salcic	2011	Springer Netherlands
Model-Based Design for Embedded Systems	Pieter J. Mosterman; Gabriela Nicolescu; Pieter J. Mosterman	2010	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
Model-Based Design of Adaptive Embedded Systems	Twan Basten; Roelof Hamberg; Frans Reckers; Jacques Verriet	2013	Springer New York
Models of computation and formal languages /	Taylor, Ralph Gregory.	1998.	Oxford University Press,
Embedded Systems Handbook: Embedded Systems Design and Verification	Richard Zurawski	2009	Routledge
Design of Embedded Control Systems	Marian Andrzej Adamski; Andrei Karatkevich; Marek Wegrzyn	2005	Springer US
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems	Peter Marwedel	2nd ed. 2011	Springer Netherlands
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems	Peter Marwedel (auth.)	2011	Springer Netherlands
Synchronous Equivalence: Formal Methods for Embedded Systems	Harry Hsieh; Felice Balarin; Alberto L. Sangiovanni-Vincentelli	2001	Springer US
Formal Languages and Computation: Models and Their Applications	Alexander Meduna	2014	Routledge
Principles of Embedded Networked Systems Design	Gregory J. Pottie; William J. Kaiser	2005-09	Cambridge University Press
Embedded Systems Design with FPGAs	Peter Athanas; Dionisios Pnevmatikatos; Nicolas Sklavos	2012	Springer New York
Design Principles for Embedded Systems	KCS Murti	1st ed. 2022	Springer Nature Singapore
Embedded Systems Design (Second Edition)	Steve Heath	2002	Newnes
Syntax-Directed Semantics: Formal Models Based on Tree Transducers	Zoltan Fülöp; Heiko Vogler	1998	Springer Berlin Heidelberg
Model-Based Testing for Embedded Systems	Justyna Zander; Ina Schieferdecker; Pieter J. Mosterman	2012	Routledge
The 8051 Microcontroller Based Embedded Systems	Manish K Patel	2014	McGraw Hill Education (India) Private Limited
Model-Based Testing for Embedded Systems	Zander, Justyna	2011	CRC Press
Design Technology for Heterogeneous Embedded Systems	Gabriela Nicolescu; Ian O'Connor; Christian Piguet	2012	Springer Netherlands
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
Embedded Software Design Methodology Based on Formal Models of Computation	Soonhoi Ha; EunJin Jeong	Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday	Marten Lohstroh; Patricia Derler; Marjan Sirjani	1st ed. 2018	Springer International Publishing
Formal Verification for Embedded Systems Design Based on MDE	Francisco Assis Moreira do Nascimento; Marcio Ferreira da Silva Oliveira; Flávio Rech Wagner	Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings	Achim Rettberg; Mauro C. Zanella; Michael Amann; Michael Keckeisen; Franz J. Rammig	2009	Springer Berlin Heidelberg
Design of Embedded Systems: Formal Models, Validation, and Synthesis	Stephen Edwards; Luciano Lavagno; Edward A. Lee; Alberto Sangiovanni-Vincentelli	Readings in Hardware/Software Co-Design	Giovanni De Micheli; Rolf Ernst and Wayne Wolf	2002	Morgan Kaufmann
Models of Computation for Embedded System Design	Luciano Lavagno; Alberto Sangiovanni-Vincentelli; Ellen Sentovich	System-Level Synthesis	Ahmed Amine Jerraya; Jean Mermet	1999	Springer Netherlands
Models of Computation for Distributed Embedded Systems	Richard Zurawski	Embedded Systems Handbook: Embedded Systems Design and Verification	Richard Zurawski	2009	Routledge
Models of Computation for Heterogeneous Embedded Systems	Adnan Shaout; Ali H. El-Mousa; Khalid Mattar	Electronic Engineering and Computing Technology	Len Gelman	2010	Springer Netherlands
Computation, Formal Models of		Encyclopedia of Cognitive Science	Lynn Nadel	2003	Wiley
Component-Based Design of Embedded Systems	Hermann Kopetz	Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10. 2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings	Sang Lyul Min; Robert Pettit; Theo Ungerer	2010	Springer Berlin Heidelberg
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
Models of Embedded Systems	K. C. Wang	Embedded and Real-Time Operating Systems	K.C. Wang	1st ed. 2017	Springer International Publishing
Control System Design Based on Modern Embedded Systems	Ahmed Khamis; Dawid Zydek; Grzegorz Borowik; D. Subbaram Naidu	Computer Aided Systems Theory -- EUROCAST 2013: 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II	Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada-Arencibia	2013	Springer Berlin Heidelberg
Design of Embedded Systems	Richard Zurawski	Embedded Systems Handbook: Embedded Systems Design and Verification	Richard Zurawski	2009	Routledge
Design of Embedded Systems	Alexander Barkalov; Larysa Titarenko; Małgorzata Mazurkiewicz	Foundations of Embedded Systems	Alexander Barkalov; Larysa Titarenko; Małgorzata Mazurkiewicz	1st ed. 2019	Springer International Publishing
Formal Models for Communication-Based Design	Alberto Sangiovanni-Vincentelli; Marco Sgroi; Luciano Lavagno	CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings	Catuscia Palamidessi	2000	Springer Berlin Heidelberg
Embedded Systems Design	Zdravko Karakehayov; Knud Smed Christensen; Ole Winther	Embedded Systems Design with 8051 Microcontrollers: Hardware and Software	Zdravko Karakehayov	1999	Routledge
Embedded Systems Design	Steven F. Barrett	Embedded System Design with the Atmel AVR Microcontroller I	Steven Barrett		Springer International Publishing
Embedded Systems Design	Steven F. Barrett	Arduino Microcontroller Processing for Everyone! Third Edition	Steven F. Barrett		Springer International Publishing
Embedded Systems Design	Steven F. Barrett; Daniel J. Pack	Microchip AVR® Microcontroller Primer: Programming and Interfacing, Third Edition	Steven F. Barrett; Daniel J. Pack		Springer International Publishing
Embedded Systems Design	Steven F. Barrett	Arduino II: Systems	Steven F. Barrett		Springer International Publishing
Embedded Systems Design		Arduino II: Systems.	Steven F. Barrett	2020	Morgan & Claypool Publishers
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Embedded Systems Design Based on Formal Models of Computation" - similar Books and Chapters