Formal Development Of A Networkcentric Rtos Software Engineering For Reliable Embedded Systemsde Eric VerhulstMateriasSystems engineeringEngineeringComputer-aided designReal-time data processingEmbedded computer systemsFormal methods (Computer science)Operating systems (Computers)Operating systems (computers)Ediciones (1)
