CCET - DIMAP - Artigos publicados em periódicos : [3] Página principal da coleção Visualizar estatísticas

Navegar
Assinar esta coleção para receber notificações por e-mail de cada item inserido RSS Feed RSS Feed RSS Feed
Coleção's Items (Ordenado por Data de depósito na Descendente ordem): 1 para 3 de 3
Pré-visualizaçãoData do documentoTítuloAutor(es)
ARTIGO 3.pdf.jpg24-Mai-2013Maude Object-Oriented Action ToolMaidl, André Murbach,; Carvilhe, Cláudio,; Musicante, Martin A.,
ARTIGO 2.pdf.jpg2009Specification and Runtime Verification of Java Card ProgramsCosta, Umberto Souza da; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A.
ARTIGO 1.pdf.jpg19-Mar-2010JCML: A specification language for the runtime verification of Java Card programsMoreira, Anamaria Martins; Costa, Umberto Souza da; Musicante, Martin A.; Souza Neto, Plácido A.
Coleção's Items (Ordenado por Data de depósito na Descendente ordem): 1 para 3 de 3