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

by EricVerhulst (Author), RaymondT.Boute (Author), JoséMiguelSampaioFaria (Author), Bernhard H . C . Sputh (Author), VitaliyMezhuyev (Author)

New
Hardcover
2011
$164.95

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. Using the formal methods described in this book produces results that are more reliable and will have higher performance.

Synopsis

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. Using the formal methods described in this book produces results that are more reliable and will have higher performance.

$164.95

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 219
Edition: 1st Edition.
Publisher: Springer
Published: 20 Aug 2011
ISBN 10: 1441997350
ISBN 13: 9781441997357

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

New

$164.95

Synopsis

$164.95

More Information