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

Browse the full ICTAC paper archive.