Specification and Design Methodology for Real-Time Embedded Systems :: SCD d'Orléans

Specification and Design Methodology for Real-Time Embedded Systems

Specification and Design Methodology for Real-Time Embedded Systems

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Janka, Randall S.
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Specification and Design Methodology for Real-Time Embedded Systems, 978-1-4613-5263-1

Benzer Materyaller

Real-Time Embedded Systems
Yazar:: Mihai T. Lazarescu (Ed.), ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Advances in Design and Specification Languages for Embedded Systems
Yazar:: Huss, Sorin A.

Real-Time Object Uniform Design Methodology with UML
Yazar:: Bui, Minh Duc, 19..-

Distributed, Embedded and Real-time Java Systems
Baskı/Yayın Bilgisi: (2012)

Self-Organization in Embedded Real-Time Systems
Baskı/Yayın Bilgisi: (2013)

Memory controllers for real-time embedded systems : predictable and composable real-time systems
Yazar:: Akesson, Benny, 1977-, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Embedded Systems Specification and Design Languages : Selected contributions from FDL 07
Yazar:: Villar, Eugenio
Baskı/Yayın Bilgisi: (2008)

UML-B Specification for Proven Embedded Systems Design
Yazar:: Bernin, Fredrik, ve diğerleri

Real-Time Embedded Components and Systems with Linux and RTOS
Yazar:: Siewert, Sam, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Linux for Embedded and Real-time Applications
Yazar:: Abbott, Doug, 1944-
Baskı/Yayın Bilgisi: (2017)

Linux for embedded and real-time applications
Yazar:: Abbott, Doug, 1944-
Baskı/Yayın Bilgisi: (2012)

Specification and compositional verification of real-time systems
Yazar:: Hooman, Jozef, 19..-

DSP software development techniques for embedded and real-time systems
Yazar:: Oshana, Robert

Real-Time Systems : Design Principles for Distributed Embedded Applications
Yazar:: Kopetz, Hermann, Dr

Performance Analysis of Real-Time Embedded Software
Yazar:: Li, Yau-Tsun Steven, ve diğerleri

Embedded System Design
Yazar:: Marwedel, Peter
Baskı/Yayın Bilgisi: (2006)

Embedded Systems Design
Yazar:: Heath, Steve

Embedded System Design
Yazar:: Marwedel, Peter
Baskı/Yayın Bilgisi: (2021)

Embedded System Design : Embedded Systems Foundations of Cyber-Physical Systems
Yazar:: Marwedel, Peter
Baskı/Yayın Bilgisi: (2011)

Global Specification and Validation of Embedded Systems : Integrating Heterogeneous Components
Yazar:: Nicolescu, G., ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Design of Embedded Control Systems
Yazar:: Adamski, Marian Andrzej, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Design automation for embedded systems.
Baskı/Yayın Bilgisi: (1996)

Embedded Systems Design with FPGAs
Baskı/Yayın Bilgisi: (2013)

Design Automation for Embedded Systems.

Embedded system design : modeling, synthesis and verification
Yazar:: Gajski, Daniel D., ve diğerleri
Baskı/Yayın Bilgisi: (2009)

SPECC: Specification Language and Methodology
Yazar:: Gajski, Daniel D., ve diğerleri

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers

Real world multicore embedded systems : a practical approach
Yazar:: Moyer, Bryon
Baskı/Yayın Bilgisi: (2013)

Embedded Microprocessor Systems : Real World Design
Yazar:: Ball, Stuart, 1956-
Baskı/Yayın Bilgisi: (2002)

Embedded Time
Yazar:: Streitberger, Alexander
Baskı/Yayın Bilgisi: (2022)

Design Technology for Heterogeneous Embedded Systems
Baskı/Yayın Bilgisi: (2012)

Design patterns for embedded systems in C : an embedded software engineering Toolkit
Yazar:: Douglass, Bruce Powel
Baskı/Yayın Bilgisi: (2011)

Real-time systems.
Baskı/Yayın Bilgisi: (2002)

Real-time Systems
Baskı/Yayın Bilgisi: (2021)

Real-time Flight Control: Embedded Sensor Calibration and Data Acquisition.
Baskı/Yayın Bilgisi: (2019)

Real-Time Systems.

Embedded control system design : a model based approach
Yazar:: Forrai, Alexandru

Real-Time UNIX® Systems : Design and Application Guide
Yazar:: Furht, Borivoje, ve diğerleri

The Future of Design Methodology
Yazar:: Birkhofer, Herbert, 19..-
Baskı/Yayın Bilgisi: (2011)

Ingredients for Successful System Level Design Methodology
Yazar:: Patel, Hiren D., ve diğerleri
Baskı/Yayın Bilgisi: (2008)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales