Formal Development of a Network-Centric RTOS
Software Engineering for Reliable Embedded Systems
Verhulst, Eric
Boute, Raymond T.
Faria, Jos Miguel Sampaio
- 出版社：Springer Verlag
- 出版年月：2014年 10月
- ISBN：9781489992888
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：219 p.
- DDC分類：621