Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração

Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração

Orientadores: Sandro Rigo, Guido Costa Souza de Araújo === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação === Made available in DSpace on 2018-08-20T09:24:51Z (GMT). No. of bitstreams: 1 Albertini_BrunodeCarvalho_D.pdf: 1167408 bytes, checksum: 90cc3a4bfc9be31f93622556...

Full description

Bibliographic Details
Main Author: Albertini, Bruno de Carvalho, 1980-
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2011
Subjects:
Depuração na computação
Reflexão (Computação)
Arquitetura de computador
Hardware - Engenharia de sistemas
Debugging in computer science
Reflection (Computer science)
Computer architecture
Hardware - Systems engineering
Online Access:ALBERTINI, Bruno de Carvalho. Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração. 2011. 68 f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275705>. Acesso em: 20 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275705

Internet

ALBERTINI, Bruno de Carvalho. Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração. 2011. 68 f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275705>. Acesso em: 20 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275705

Similar Items