Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização
Data de Publicação: | 2008 |
---|---|
Tipo de documento: | Dissertação |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_73149de274e0247bcb41f50ba44b1191 |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização |
title |
Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização |
spellingShingle |
Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização |
title_short |
Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização |
title_full |
Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização |
title_fullStr |
Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização |
title_full_unstemmed |
Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização |
title_sort |
Aplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização |
publishDate |
2008 |
format |
masterThesis |
author_role |
author |
dc.publisher.none.fl_str_mv |
INSTITUTO MILITAR DE ENGENHARIA |
publisher.none.fl_str_mv |
INSTITUTO MILITAR DE ENGENHARIA |
instname_str |
INSTITUTO MILITAR DE ENGENHARIA |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESAplicação de Verificação de Modelos a Programas de CLP: Explorando a TemporizaçãoAplicação de Verificação de Modelos a Programas de CLP: Explorando a TemporizaçãoAplicação de Verificação de Modelos a Programas de CLP: Explorando a TemporizaçãoAplicação de Verificação de Modelos a Programas de CLP: Explorando a TemporizaçãoAplicação de Verificação de Modelos a Programas de CLP: Explorando a TemporizaçãoAplicação de Verificação de Modelos a Programas de CLP: Explorando a TemporizaçãoAplicação de Verificação de Modelos a Programas de CLP: Explorando a Temporização2008masterThesisauthorINSTITUTO MILITAR DE ENGENHARIAINSTITUTO MILITAR DE ENGENHARIAINSTITUTO MILITAR DE ENGENHARIAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
_version_ |
1741889989656969216 |