MSc - Testing methodology for real time operating systems assuring conformity with ARINC 653

Authors

Post-Graduation Supervisor: Miguel Goulão
Post-Graduation Supervisor: Vasco Amaral
Post-Graduation by: Pedro Costa