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

Verhulst, Eric/ Boute, Raymond T./ Faria, José Miguel Sampaio

Springer-Verlag New York Inc.（2014/10発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 219 p.
• 言語 ENG
• 商品コード 9781489992888
• DDC分類 005.49222

Full Description

Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded".