Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Publicações

    Publicações por Bruno Carvalhido Lima

    2023

    Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device

    Autores
    Farshid, S; Lima, B; Faria, J;

    Publicação
    Proceedings of the 18th International Conference on Software Technologies

    Abstract

    2023

    Automatic Test-Based Assessment of Assembly Programs

    Autores
    Tavares, L; Lima, B; Araújo, A;

    Publicação
    Proceedings of the 18th International Conference on Software Technologies

    Abstract

    2020

    DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios

    Autores
    Lima, B; Faria, JP;

    Publicação
    CoRR

    Abstract

    • 6
    • 6