Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real

Detalhes bibliográficos
Ano de defesa: 2010
Autor(a) principal: Peres, Leticia Mara
Orientador(a): Kunzle, Luis Allan, 1962-
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://hdl.handle.net/1884/24292
Resumo: Orientador: Prof. Dr. Luis Allan Künzle