Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev, "Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems"
Sp nger | 2011 | ISBN: 1441997350 | 236 pages | PDF | 3,6 MB