Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Formal Development of a Network-Centric RTOS

Software Engineering for Reliable Embedded Systems

2011