Teacher
Daniel Tomás De Maia Mozart Silveira
Graus
-
MestradoLicenciatura Engenharia Informática e Computadores
Publicações
Capítulo de livro
- 2019, Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP, Formal Methods – The Next 30 Years, Springer International Publishing
Artigo em conferência
- Verification of Computer-Controlled Systems, DASIA 2017 - Data Systems In Aerospace
- Porting the Air TSP to the Arm Architecture with the Miura1 Obsw as Use Case, DASIA 2019 - Data Systems In Aerospace
- Increasing Representativeness of SIL V&V Simulators, DASIA 2019 - Data Systems In Aerospace
- ESROCOS: A robotic operating system for space and terrestrial , Space Technologies in Robotics and Automation (ASTRA-2017)
- Code Coverage on Space Embedded Systems with GCOV,, DASIA 2019 - Data Systems In Aerospace
- AIR hypervisor using RTEMS SMP, The European Workshop on On-Board Data Processing (OBDP2019
- 2017-06-01, TASTE to IMA/SP Migration, DASIA 2017 - Data Systems In Aerospace
- 2010-06-01, MODSARE-V: Validation of Dependability and Safety Critical Software Components with Model Based Requirements, DASIA 2010 - Data Systems In Aerospace
