A formal specification approach for holonic control systems: The ADACOR case
Artigo Académico
-
- Visão geral
-
- Pesquisas
-
- Informação adicional documento
-
- Ver Todos
-
Visão geral
data de publicação
publicada em
Pesquisas
palavras-chave
-
Flexible manufacturing systems
-
Intelligent manufacturing control
-
Petri nets