Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Mã QR

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Ramesh, S., Sampath, P.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Netherlands 2020
Những chủ đề:	Engineering Circuits and Systems Theory of Computation Software Engineering
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85158
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Low-Power Design and Power-Aware Verification. 1st ed. 2018
Bỡi: Khondkar, Progyna
Được phát hành: (2020)

Real-Time Object Uniform Design Methodology with UML
Bỡi: Duc, Bui Minh
Được phát hành: (2020)

Embedded Software Verification and Debugging
Bỡi: Lettnin, Djones, et al.
Được phát hành: (2020)

Open Verification Methodology Cookbook
Bỡi: Glasser, Mark
Được phát hành: (2020)

Design Methodologies for Secure Embedded Systems
Bỡi: Biedermann, Alexander, et al.
Được phát hành: (2012)

Embedded System Design
Bỡi: Gajski, Daniel D., et al.
Được phát hành: (2020)

Ingredients for Successful System Level Design Methodology
Bỡi: Patel, Hiren D., et al.
Được phát hành: (2020)

Functional Verification of Programmable Embedded Architectures
Bỡi: Mishra, Prabhat, et al.
Được phát hành: (2020)

Distributed Embedded Control Systems
Bỡi: Colnaric, Matjaž, et al.
Được phát hành: (2020)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations. 1st ed. 2018
Bỡi: Hidaka, Hideto
Được phát hành: (2020)

Analysis and Design of Next-Generation Software Architectures
Bỡi: Langer, Arthur M.
Được phát hành: (2020)

Design of Power-Efficient Highly Digital Analog-to-Digital Converters for Next-Generation Wireless Communication Systems. 1st ed. 2018
Bỡi: Xing, Xinpeng, et al.
Được phát hành: (2020)

Metric Driven Design Verification
Bỡi: Carter, Hamilton B., et al.
Được phát hành: (2020)

Design of Embedded Control Systems
Bỡi: Adamski, Marian Andrzej, et al.
Được phát hành: (2020)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Bỡi: Fantechi, Alessandro, et al.
Được phát hành: (2020)

Global Specification and Validation of Embedded Systems
Bỡi: Nicolescu, G., et al.
Được phát hành: (2020)

Designing Embedded Processors
Bỡi: Henkel, Jörg, et al.
Được phát hành: (2020)

Embedded Systems Design
Được phát hành: (2020)

Software Design for Resilient Computer Systems
Bỡi: Schagaev, Igor, et al.
Được phát hành: (2020)

Next-Generation ADCs, High-Performance Power Management, and Technology Considerations for Advanced Integrated Circuits
Bỡi: Baschirotto, Andrea, et al.
Được phát hành: (2020)

Next Generation Spin Torque Memories
Bỡi: Kaushik, Brajesh Kumar, et al.
Được phát hành: (2020)

Embedded Systems Design with Special Arithmetic and Number Systems
Bỡi: Molahosseini, Amir Sabbagh, et al.
Được phát hành: (2020)

Embedded systems design and verification
Được phát hành: (2009)

Build a Next-Generation Digital Workplace
Bỡi: Shivakumar, Shailesh Kumar
Được phát hành: (2020)

Embedded Systems Specification and Design Languages
Bỡi: Villar, Eugenio
Được phát hành: (2020)

Practical Aspects of Embedded System Design using Microcontrollers
Bỡi: Parab, Jivan, et al.
Được phát hành: (2020)

Embedded System Design. 3rd ed. 2018
Bỡi: Marwedel, Peter
Được phát hành: (2020)

Electronics for Embedded Systems
Bỡi: Bindal, Ahmet
Được phát hành: (2020)

Intelligent Embedded Systems
Bỡi: Thalmann, Daniel, et al.
Được phát hành: (2020)

Engineering Embedded Systems
Bỡi: Hintenaus, Peter
Được phát hành: (2015)

Runtime Verification
Được phát hành: (2020)

Runtime Verification
Được phát hành: (2020)

Composition of Embedded Systems. Scientific and Industrial Issues
Bỡi: Kordon, Fabrice, et al.
Được phát hành: (2020)

UML for SOC Design
Bỡi: Martin, Grant, et al.
Được phát hành: (2020)

Component-Based Software Development for Embedded Systems
Bỡi: Atkinson, Colin, et al.
Được phát hành: (2020)

Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot
Bỡi: Jaber, Alaa Abdulhady
Được phát hành: (2020)

SystemVerilog for Verification
Bỡi: Spear, Chris
Được phát hành: (2020)

Embedded and Real-Time Operating Systems
Bỡi: Wang, K.C.
Được phát hành: (2020)

Analytical Methodology of Tree Microstrip Interconnects Modelling For Signal Distribution
Bỡi: Ravelo, Blaise
Được phát hành: (2020)

Hardware Verification with System Verilog
Bỡi: Mintz, Mike, et al.
Được phát hành: (2020)