filmeu

Teacher
Daniel Tomás De Maia Mozart Silveira

Daniel Tomás De Maia Mozart Silveira
p69***@gmail.com
5A12-B62B-248E
0000-0002-2553-8160

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

Email


Lisboa 2020 Portugal 2020 Small Logo EU small Logo PRR republica 150x50 Logo UE Financed Provedor do Estudante Livro de reclamaões Elogios