Sign in
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
Andrea Matta
Matteo Rossi
Paola Spoletini
Dino Mandrioli
Quirico Semeraro
Tullio Tolio
Published in:
ICTAC (2007)
Keyphrases
</>
lessons learned
formal methods
flexible manufacturing systems
grounded theory
case study
future directions
formal analysis
design science
database
real world
data mining
artificial intelligence
relational databases
object oriented
fine grained
dynamic scheduling