Using formal methods to model hybrid manufacturing processes

Aydin Nassehi, Stephen T. Newman, Vimal Dhokia, Z. Zhu, R. Imani Asrai

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Original languageUndefined/Unknown
Title of host publicationProceedings of the 4th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV)
Number of pages5
Publication statusPublished - 2011

Cite this