Formal Development of a Network-Centric RTOS
Subtitle: Software Engineering for Reliable Embedded Systems
Publisher: Springer
Published: Oct 01, 2014
Format: paperback
Number of pages: 236
ISBN-13: 9781489992888
Notes: Source title: Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems