ISBN 148999288X books & textbook
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Verhulst, Eric Boute, Raymond T. Faria, José Miguel Sampaio Sputh, Bernhard H.C. Mezhuyev, Vitaliy
Springer /2014-10-01 Paperback / 236 Pages
isbn-10: 148999288X / isbn-13: 9781489992888