Fernando Nicodemos. Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos. PhD thesis, Instituto Tecnológico de Aeronáutica, São José dos Campos, São Paulo, Brazil, 2013. [doi]
Abstract is missing.