Cristian Gherghina


AuthID: R-00H-HRA

Publicações a aguardar confirmação

1
TÍTULO: Automated verification of the FreeRTOS scheduler in Hip/Sleek
AUTORES: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLICAÇÃO: 2014, FONTE: STTT, VOLUME: 16, NÚMERO: 4
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service