Chapter SW Annotation Techniques and RTOS Modelling for Native Simulation of Heterogeneous Embedded Systems - Posadas, Hector (InTechOpen, 2012)
Space science