"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados "
Autor(a) principal: | |
---|---|
Data de Publicação: | 2011 |
Tipo de documento: | Dissertação |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_c5c17ebcbeabf44e3cae4fb5b43cced8 |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " |
title |
"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " |
spellingShingle |
"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " CHRISTOPHE SAINT-CHRISTIE DE LIMA XAVIER |
title_short |
"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " |
title_full |
"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " |
title_fullStr |
"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " "Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " |
title_full_unstemmed |
"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " "Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " |
title_sort |
"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados " |
publishDate |
2011 |
format |
masterThesis |
author_role |
author |
author |
CHRISTOPHE SAINT-CHRISTIE DE LIMA XAVIER |
author_facet |
CHRISTOPHE SAINT-CHRISTIE DE LIMA XAVIER |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/3228997034387953 |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DO AMAZONAS |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DO AMAZONAS |
instname_str |
UNIVERSIDADE FEDERAL DO AMAZONAS |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPES"Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados ""Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados ""Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados ""Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados ""Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados ""Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados ""Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados "2011masterThesisauthorCHRISTOPHE SAINT-CHRISTIE DE LIMA XAVIERhttp://lattes.cnpq.br/3228997034387953UNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
identifier_str_mv |
XAVIER, CHRISTOPHE SAINT-CHRISTIE DE LIMA. "Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados ". 2011. Tese. |
dc.identifier.citation.fl_str_mv |
XAVIER, CHRISTOPHE SAINT-CHRISTIE DE LIMA. "Especificação Executável Usando uma Linguagem de Redes de Petri no Domínio de Sistemas Embarcados ". 2011. Tese. |
_version_ |
1741887112042512384 |