Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this...

Mô tả đầy đủ

Chi tiết về thư mục

Những tác giả chính:	Verhulst, Eric (Tác giả), Boute, Raymond T. (Tác giả), Faria, José Miguel Sampaio (Tác giả), Saputh, Bernhard H.C (Tác giả), Mezhuyev, Vitaliy (Tác giả)
Tác giả của công ty:	SpringerLink (Online service)
Định dạng:	Electronic Resource
Ngôn ngữ:	English
Được phát hành:	Boston, MA Springer US Imprint: Springer 2011.
Những chủ đề:	Electronic books. Engineering. Computer aided design. Systems engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.
Truy cập trực tuyến:	Available for University of the Philippines Diliman via SpringerLink. Click here to access