"CoConES: An Approach for Components and Contracts in Embedded Systems"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Computer Systems: An Embedded Approach (ELECTRONICS)	Ian McLoughlin	2018	McGraw-Hill Education
Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach	João Manuel Paiva Cardoso; Pedro C. Diniz; José Gabriel de Figueiredo Coutinho; Zlatko Marinov Petrov	2013	Springer New York
Intelligence for Embedded Systems: A Methodological Approach	Cesare Alippi	2014	Springer International Publishing
Real-time embedded components and systems: with Linux and RTOS	Sam Siewert	2016
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components	G. Nicolescu; Ahmed A. Jerraya	2007	Springer Netherlands
Embedded Operating Systems: A Practical Approach	Alan Holt; Chi-Yu Huang	2nd ed. 2018	Springer International Publishing
Embedded Operating Systems: A Practical Approach	Alan Holt, Chi-Yu Huang (auth.)	2014	Springer-Verlag London
Embedded Operating Systems: A Practical Approach	Alan Holt; Chi-Yu Huang	2014	Springer London
Technical Foundations of Embedded Systems: Electronics, System theory, Components and Analysis	Karsten Berns; Alexander Köpper; Bernd Schürmann	1st ed. 2021	Springer International Publishing
Side-Channel Analysis of Embedded Systems: An Efficient Algorithmic Approach	Maamar Ouladj; Sylvain Guilley	1st ed. 2021	Springer International Publishing
Electronics for Embedded Systems	Ahmet Bindal	1st ed. 2017	Springer International Publishing
Electronics for Embedded Systems	Ahmet Bindal	2017	Springer
Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations	Hideto Hidaka	1st ed. 2018	Springer International Publishing
Introduction to Embedded Systems: A Cyber-Physical Systems Approach	Edward Ashford Lee, Sanjit Arunkumarr Seshia	2011	Lulu.com
Introduction to embedded systems: a cyber-physical systems approach /	Lee, Edward A.,; Seshia, Sanjit A.,		MIT Press
Introduction to embedded systems: a cyber-physical systems approach	Edward A. Lee	2015	LeeSeshia.org
Embedded Systems Handbook: Embedded Systems Design and Verification	Richard Zurawski	2009	Routledge
Networked Embedded Systems: Embedded Systems Handbook	Richard Zurawski	2009	Routledge
Embedded Systems	Jason D. Bakos	2016	Morgan Kaufmann
Embedded Systems	Jack Ganssle; Stuart Ball; Arnold S. Berger; Keith E. Curtis; Lewin A.R.W. Edwards; Rick Gentile; Martin Gomez; John M. Holland; David J. Katz; Chris Keydel; Jean La Brosse; Olaf Meding; Robert Oshana and Peter Wilson	2008	Newnes
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
CoConES: An Approach for Components and Contracts in Embedded Systems	Yolande Berbers; Peter Rigole; Yves Vandewoude; Stefan Van Baelen	Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends	Colin Atkinson; Christian Bunse; Hans-Gerhard Gross; Christian Peper	2005	Springer Berlin Heidelberg
Computer Systems: An Embedded Approach		Computer Systems: An Embedded Approach (ELECTRONICS)	Ian McLoughlin	2018	McGraw-Hill Education
An Approach for Network Information Flow Analysis for Systems of Embedded Components	Andrey Chechulin; Igor Kotenko; Vasily Desnitsky	Computer Network Security: 6th International Conference on Mathematical Methods, Models and Architectures for Comüuter Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012, Proceedings	Igor Kotenko; Victor Skormin	2012	Springer Berlin Heidelberg
Components of embedded systems		Embedded systems	D., Sundaram R. M.; Kothari, Dwarkadas Pralhaddas; N., Murali; Vasudevan, Shriram K	2015	New Academic Science
Sensors, Embedded Systems, and IoT Components	Ananya Sharma; Niharika Singh	Mathematical Modeling for Intelligent Systems: Theory, Methods, and Simulation	Mukesh Kumar Awasthi; Ravi Tomar; Maanak Gupta	2022	Routledge
Timing Contracts for Multi-Core Embedded Control Systems	M. Al Khatib; A. Girard; T. Dang	Control Subject to Computational and Communication Constraints: Current Challenges	Sophie Tarbouriech; Antoine Girard; Laurentiu Hetel	1st ed. 2018	Springer International Publishing
Components and Contracts	Bruno Bouyssounouse; Joseph Sifakis	Embedded Systems Design: The ARTIST Roadmap for Research and Development	Bruno Bouyssounouse; Joseph Sifakis	2005	Springer Berlin Heidelberg
Components for Embedded Devices	Thomas Genssler; Alexander Christoph; Michael Winter; Benedikt Schulz	Business Component-Based Software Engineering	Franck Barbier	2003	Springer US
An Approach for the Design of Secure Communication in Embedded Systems	Pavel Ocenasek	Human Interface and the Management of Information. Designing Information Environments: Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I	Michael J. Smith; Gavriel Salvendy	2009	Springer Berlin Heidelberg
A modular approach for programming embedded systems	Shangping Ren; Gul A. Agha	Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996	Grzegorz Rozenberg; Frits W. Vaandrager	1998	Springer Berlin Heidelberg
An MMU Virtualization for Embedded Systems	Sung-Hoon Son	IT Convergence and Security 2012	Kuinam J. Kim; Kyung-Yong Chung	2013	Springer Netherlands
A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics	Gregory Provan	Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers	Carlos Canal; Akram Idani	2015	Springer International Publishing
124 COTS Components in Real-time and Embedded systems		Component-Based Software Development: Case Studies	Kung-Kiu Lau	2004	World Scientific Publishing Company
Embedded Systems in Avionics and the SACRES Approach	Philippe Baufreton; Xavier Méhaut; Éric Rutten	Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security	Peter Daniel	1997	Springer London
An Argument for Using DSL in Embedded Systems		Negus Live Linux Series The Official Damn Small Linux Book: The Tiny Adaptable Linux That Runs on Anything	Shingledecker, Robert; Andrews, John; Negus, Christopher	2007	Prentice Hall
An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems	Ashraf Armoush; Dominik Franke; Igor Kalkov; Stefan Kowalewski	Mobile Computing, Applications, and Services: 5th International Conference, MobiCase 2013, Paris, France, November 7-8, 2013, Revised Selected Papers	Gerard Memmi; Ulf Blanke	2014	Springer International Publishing
An MDA Approach for Adaptable Components	Steffen Göbel	Model Driven Architecture - Foundations and Applications: First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings	Alan Hartman; David Kreische	2005	Springer Berlin Heidelberg
Specifying embedded systems with statecharts and Z: An agenda for cyclic software components	Wolfgang Grieskamp; Maritta Heisel; Heiko Dörr	Fundamental Approaches to Software Engineering: First International Conference, FASE' 98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings	Egidio Astesiano	1998	Springer Berlin Heidelberg
Embedded passive components for MCM	L. J. Colonka, K.-J. Wolter and A. Dziedzic /[et al.]	ISSE 2001 conference proceedings: the 24th International Spring Seminar on Electronics Technology: concurrent engineering in electronic packaging: May 5-9, 2001, Călimănești-Căciulata, România /	Dumitrache, I.; Svasta, Paul.	[2001], ©2001.	IEEE Order Department [distributor],
A Systems Approach to Embedded Systems Design	Tammy Noergaard	Embedded Systems Architecture (Second Edition)	Tammy Noergaard	2013	Newnes
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"CoConES: An Approach for Components and Contracts in Embedded Systems" - similar Books and Chapters