Ebook: Formal development of a network-centric RTOS: software engineering for reliable embedded systems
Author: Eric Verhulst Raymond T. Boute José Miguel Sampaio Faria Bernhard H.C. Sputh, Vitaliy Mezhuyev
- Tags: Operating systems (Computers), Real-time data processing, Embedded computer systems, Formal methods (Computer science)
- Year: 2011
- Publisher: Springer US
- City: Boston;MA;New York
- Language: English
- epub
Part 1. Trustworthy embedded systems -- Part 2. Formal modeling fundamentals -- Part 3. OpenComRTOS design -- Part 4. Appendix.
Download the book Formal development of a network-centric RTOS: software engineering for reliable embedded systems for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)