Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev
ISBN 13: 9781441997357
Format: Hardcover (219 pages) Publisher: Springer Published: 20 Aug 2011
Save for later