Docente
Daniel Tomás De Maia Mozart Silveira

Graus

• Mestrado
  Licenciatura 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