Formal methods for reconfigurable assembly systems.

Tiago Oliveira Ribeiro Gil Gonçalves

Published in: ETFA (2010)

Keyphrases

formal methods
assembly systems
lot sizing
lead time
multistage
inventory control
low cost
formal specification
optimal control
model checking
distribution systems
knowledge based systems
supply chain
artificial intelligence
capacity expansion
software engineering
modeling language
smart card
web services