VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL
| Data de Publicação: | 2018 |
|---|---|
| Tipo de documento: | Dissertação |
| Título da fonte: | Portal de Dados Abertos da CAPES |
| Texto Completo: | https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6425006 |
| id |
BRCRIS_962e8fb573e752fc8918ae40866e0723 |
|---|---|
| network_acronym_str |
CAPES |
| network_name_str |
Portal de Dados Abertos da CAPES |
| dc.title.pt-BR.fl_str_mv |
VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL |
| title |
VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL |
| spellingShingle |
VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL Métodos Formais Formal Methods |
| title_short |
VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL |
| title_full |
VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL |
| title_fullStr |
VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL |
| title_full_unstemmed |
VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL |
| title_sort |
VALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDL |
| topic |
Métodos Formais Formal Methods |
| publishDate |
2018 |
| format |
masterThesis |
| url |
https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6425006 |
| author_role |
author |
| dc.contributor.advisor1.fl_str_mv |
VASTON GONCALVES DA COSTA |
| dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/5192533875584788 |
| dc.contributor.advisor1orcid.por.fl_str_mv |
https://orcid.org/0000-0002-4488-7518 |
| dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE GOIÁS |
| publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE GOIÁS |
| instname_str |
UNIVERSIDADE FEDERAL DE GOIÁS |
| dc.publisher.program.fl_str_mv |
Modelagem e Otimização |
| dc.description.course.none.fl_txt_mv |
Modelagem e Otimização |
| reponame_str |
Portal de Dados Abertos da CAPES |
| collection |
Portal de Dados Abertos da CAPES |
| spelling |
CAPESPortal de Dados Abertos da CAPESVALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDLVALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDLVALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDLVALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDLVALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDLVALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDLVALIDAÇÃO FORMAL DE M ODELOS DE MANUFATURA FLEXÍVEL COM LÓGICA DINÂMICA : O USO DE PETRI -PDLMétodos Formais2018masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6425006authorVASTON GONCALVES DA COSTAhttp://lattes.cnpq.br/5192533875584788https://orcid.org/0000-0002-4488-7518UNIVERSIDADE FEDERAL DE GOIÁSUNIVERSIDADE FEDERAL DE GOIÁSUNIVERSIDADE FEDERAL DE GOIÁSModelagem e OtimizaçãoModelagem e OtimizaçãoPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
| _version_ |
1741890360622186496 |