Non-intrusive observation and runtime verification of cyber-physical systems

Tese de mestrado, Engenharia Informática (Arquitectura, Sistemas e Redes de Computadores), Universidade de Lisboa, Faculdade de Ciências, 2017

Detalhes bibliográficos
Autor principal: Gouveia, Inês Pinto (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2018
Assuntos:
Verificação em Tempo de Execução
Sistemas Ciber-Físicos
Segurança
Proteção de Memória
SPARC V8
Teses de mestrado - 2017
Departamento de Informática
Texto completo:http://hdl.handle.net/10451/30815
País:Portugal
Oai:oai:repositorio.ul.pt:10451/30815

Texto Completo

http://hdl.handle.net/10451/30815

Registos relacionados