Catalog

Record Details

Catalog Search


Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems Cover Image E-book E-book

Formal Development of a Network-Centric RTOS [electronic resource] : Software Engineering for Reliable Embedded Systems / by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev.

Verhulst, Eric. (Author). Boute, Raymond T. (Added Author). Faria, José Miguel Sampaio. (Added Author). Sputh, Bernhard H.C. (Added Author). Mezhuyev, Vitaliy. (Added Author). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9781441997364
  • Physical Description: XVII, 219p. 54 illus. digital.
  • Publisher: Boston, MA : Springer US, 2011.

Search for related items by subject

Subject: Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.

Electronic resources

Texto Completo


Additional Resources