S. Ramesh & P. Sampath 
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [PDF ebook] 
Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Ủng hộ

This volume brings out the proceedings of the workshop “Next Generation Design and Veri?cation Methodologies for Distributed Embedded Control Systems” c- ducted by General Motors R&D, India Science Lab, Bangalore. This workshop is the ?rst of its kind to be organised by an automotive Original Equipment Manufacturer (OEM) to bring together the experts in the ?eld of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing th...

đọc thêm
€149.79
phương thức thanh toán

Mục lục

An Abstraction Technique for Real-Time Verification.- SCADE: Synchronous Design and Validation of Embedded Control Software.- Model-Based Development of Embedded Systems: Th...

đọc thêm

Giới thiệu về tác giả

Dr. Ramesh is the Chiarman of the ‘Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems’, 5 – 6 Jan. 2007 in NIAS Aud...

đọc thêm
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 300 ● ISBN 9781402062544 ● Kích thước tập tin 4.7 MB ● Biên tập viên S. Ramesh & P. Sampath ● Nhà xuất bản Springer Netherland ● Thành phố Dordrecht ● Quốc gia NL ● Được phát hành 2007 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2148321 ● Sao chép bảo vệ DRM xã hội

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

18.868 Ebooks trong thể loại này