Percorrer por revistas 76702
Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
Ago-2014 | Automated verification of the FreeRTOS scheduler in HIP/SLEEK | Ferreira, João F.; Gherghina, Cristian; He, Guanhua, et al. | Artigo | Acesso aberto |
2018 | Runtime verification of autopilot systems using a fragment of MTL-∫ | Matos Pedro, André; Pinto, Jorge Sousa; Pereira, David, et al. | Artigo | Acesso restrito UMinho |
2020 | Validating the Hybrid ERTMS/ETCS level 3 concept with electrum | Cunha, Alcino; Macedo, Nuno | Artigo | Acesso aberto |