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

Engineering

by: Eric Verhulst · Raymond T. Boute · José Miguel Sampaio Faria · Bernhard H.C. Sputh · Vitaliy Mezhuyev

Hardcover

ISBN: 978-1-4419-9735-7

ISBN-10: 1-4419-9735-0

Springer · 2011