A component based approach for modeling and validation of an automated manufacturing system.

Domenico Cavaliere, Franoise Simonot-Lion, Yeqiong Song, Olivier Hembert

Browse the full ETFA paper archive.