Ashfaq Farooqui
Ashfaq Farooqui
Home
Projects
Supervision
Publications
Talks
CV
Light
Dark
Automatic
7
Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems
The manufacturing industry is undergoing a digital revolution, often referred to as Industry 4.0. The aim of this revolution is to transform the factories into, so called, smart factories. These smart factories will be modular, decentralized, and …
Cite
×