Automated Formal Verification for Flexible Manufacturing Systems
Carpanzano, Emanuele, Ferrucci, Luca, Mandrioli, Dino, Mazzolini, Mauro, Morzenti, Angelo, Rossi, MatteoVolume:
45
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20120523-3-ro-2023.00133
Date:
May, 2012
File:
PDF, 438 KB
english, 2012