✦ LIBER ✦

Distributed embedded control system design with verification support

✍ Scribed by I. V. Shoshmina

Book ID: 115064569
Publisher: Allerton Press Inc
Year: 2011
Tongue: English
Weight: 147 KB
Volume: 45
Category: Article
ISSN: 0146-4116
DOI: 10.3103/s0146411611070145

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification for Embedded System

Formal Verification for Embedded System Designs

✍ Xi Chen; Harry Hsieh; Felice Balarin; Yosinori Watanabe 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 140 KB

Embedded Control System Design || Embedd

Embedded Control System Design || Embedded Systems - Basic Concepts

✍ Forrai, Alexandru 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 416 KB

Control system design is a challenging task for practicing engineers. It requires knowledge of different engineering fields, a good understanding of technical specifications and good communication skills. The current book introduces the reader into practical control system design, bridging the gap

Embedded Systems Design and Verification

Embedded Systems Design and Verification (Zurawski, R.; 2009) [Book News]

✍ Kazmierkowski, M.P. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 480 KB

Reconfiguration of Distributed Embedded-

Reconfiguration of Distributed Embedded-Control Systems

✍ Khalgui, M.; Mosbahi, O.; Zhiwu Li; Hanisch, H.-M. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 403 KB

Formal development and verification of a

Formal development and verification of a distributed railway control system

✍ Haxthausen, A.E.; Peleska, J. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 275 KB

Design of an Embedded Control System Lab

Design of an Embedded Control System Laboratory Experiment

✍ Martí, P.; Velasco, M.; Fuertes, J.M.; Camacho, A.; Buttazzo, G. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 980 KB