Verhulst, Eric.
Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems / [electronic resource] : by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev. - Boston, MA : Springer US, 2011. - digital.
9781441997364
10.1007/978-1-4419-9736-4 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815
Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems / [electronic resource] : by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev. - Boston, MA : Springer US, 2011. - digital.
9781441997364
10.1007/978-1-4419-9736-4 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815