Formal Development of a Network-Centric RTOS

MLA

Verhulst, Eric, et al. Formal Development of a Network-centric Rtos. Springer US, 2011.

APA

Verhulst, E., Boute, R. T, Faria, J. Miguel Sampaio, Mezhuyev, V., & Sputh, B. H.C. (2011). Formal Development of a Network-Centric RTOS. Springer US.

Chicago

Verhulst, Eric, Raymond T Boute, José Miguel Sampaio Faria, Vitaliy Mezhuyev, and Bernhard H.C Sputh. Formal Development of a Network-Centric RTOS. : Springer US, 2011.