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

by Verhulst, Eric, Boute, Raymond T., Faria, José Miguel Sampaio, Sputh, Bernhard H.C, Mezhuyev, Vitaliy
Published 2011