Limit Search Results
Author
SpringerLink (Online service)
(46)
Goossens, Kees. author.
(2)
Higuera-Toledano, M. Teresa. editor.
(2)
Marwedel, Peter. author.
(2)
Nicolescu, Gabriela. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
47 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
Author 
Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34614-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Author 
Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16767-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems
Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems
Author 
Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9736-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Hardware/Software Architectures for Low-Power Embedded Multimedia Systems
Hardware/Software Architectures for Low-Power Embedded Multimedia Systems
Author 
Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9692-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Enhancing Embedded Systems Simulation A Chip-Hardware-in-the-Loop Simulation Framework
Enhancing Embedded Systems Simulation A Chip-Hardware-in-the-Loop Simulation Framework
Author 
Köhler, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Embedded Systems Design Based on Formal Models of Computation
Embedded Systems Design Based on Formal Models of Computation
Author 
Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1594-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Author 
Gamatie, Abdoulaye. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
Author 
Borrione, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Author 
Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Distributed Embedded Control Systems Improving Dependability with Coherent Design
Distributed Embedded Control Systems Improving Dependability with Coherent Design
Author 
Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-052-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Author 
Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action