Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Embedded Software Verification and Debugging
Embedded Software Verification and Debugging
Author 
Lettnin, Djones. editor. Winterholer, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-2266-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Author 
Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47016-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013
Author 
Louërat, Marie-Minerve. editor. Maehne, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06317-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for FPGA Based Accelerators for Financial Applications
FPGA Based Accelerators for Financial Applications
Author 
De Schryver, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15407-7
Format: 
Availability 
Online Library~1
Available:
Copies: