Call Number (LC) Title Results
TK7895.E42 M365 2007 ESL design and verification : a prescription for electronic system-level methodology / 1
TK7895.E42 M365 2007 TK7895.E42B326 2007 TK7895.E42 ESL Design and Verification : a Prescription for Electronic System Level Methodology. 1
TK7895.E42 M37 2003 Embedded system design / 1
TK7895.E42 M37 2006eb Embedded system design 1
TK7895.E42 M37 2011 Embedded system design embedded systems foundations of cyber-physical systems / 1
TK7895.E42 M37 2012 The emerging domain of cooperating objects definitions and concepts / 1
TK7895.E42 M37 2018 Embedded system design : embedded systems, foundations of cyber-physical systems, and the internet of things / 1
TK7895.E42 M395 2017eb Measurable and Composable Security, Privacy, and Dependability : the SHIELD Methodology / 2
TK7895.E42 M57 2005 Functional verification of programmable embedded architectures : a top-down approach / 2
TK7895.E42 M57 2016eb System on chip interfaces for low power design / 1
TK7895.E42 M62 2010eb Model-based design for embedded systems 2
TK7895.E42 M63 2012 Model-based engineering of embedded systems : the SPES 2020 methodology / 1
TK7895.E42 M63 2013 Model-based design of adaptive embedded systems 1
TK7895.E42 .M634 2017eb Model-implementation fidelity in cyber physical system design 1
TK7895.E42 M636 2012 Model-based testing for embedded systems / 3
TK7895.E42 M65 2012 SynDEVS co-design flow a hardware/software co-design flow based on the discrete event system specification model of computation / 1
TK7895.E42 M655 2018 Exploring BeagleBone : Tools and Techniques for Building with Embedded Linux. 1
TK7895.E42 M6556 201eb  
TK7895.E42 M66 2006eb Composition of embedded systems scientific and industrial issues ; 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers / 1
TK7895.E42 M848 2010 Multi-core embedded systems
Multi-core embedded systems / 		3