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
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

Type: Physical Book

Information: 2011

Release Date: 2011-01-01

ISBN 10: 1441997350

ISBN 13: 9781441997357

Readers: 1

Country: United States of America

Data Score: 820