Title: Formal Development Of A Networkcentric Rtos Software Engineering For Reliable Embedded Systems
Subjects: Systems engineering, Engineering, Computer-aided design, Real-time data processing, Embedded computer systems, Formal methods (Computer science), Operating systems (Computers), Operating systems (computers)