Ebook: Formal development of a network-centric RTOS: software engineering for reliable embedded systems
Author: Verhulst Eric
- Tags: Operating systems (Computers), Real-time data processing, Embedded computer systems, Formal methods (Computer science)
- Year: 2011
- Publisher: Springer
- City: New York
- Language: English
- pdf
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)