Validação Formal de Modelos de Manufatura Flexível com Lógica Dinâmica: o uso de Petri-PDL
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Lógica Dinâmica
-
Métodos Formais
-
Petri-PDL
-
Sistemas Flexíveis de Manufatura
Identidade
identificador BrCris
-
968c29313ce81bf662cc0df74b9662f6
identificador Oasisbr
-
UFG-2_450a137b02454d25f1bf0bf61dfe5ec5
-
UFG_450a137b02454d25f1bf0bf61dfe5ec5