Formal Specification for Manufacturing Systems Automation
Morel, Gérard, Pétin, Jean-François, Lamboley, PatrickVolume:
34
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)33252-4
Date:
September, 2001
File:
PDF, 726 KB
english, 2001