Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/6890
Título: A Novel Runtime Monitoring Architecture
Autor: Nelissen, Geoffrey
Pereira, David
Pinho, Luis Miguel
Data: 2015
Relatório da Série N.º: ARCS 2015;
Resumo: Computing architectures become more and more complex and sometimes unpredictable. Verification techniques showed their limit, essentially when timing properties, available only at run-time, are involved. Testing improves the confidence but does not prove the correctness of the system in all possible situations.
Descrição: Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.
URI: http://hdl.handle.net/10400.22/6890
Aparece nas colecções:ISEP – CISTER – Pósteres apresentados a eventos científicos

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
POST_CISTER_2015.pdf683,52 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.