Design Automation for Smart Factories
Rethinking the design foundations of high-assurance intelligent manufacturing systems

DeFacto will be at IEEE/ACM DATE 2021
November 30, 2020
A demonstration of DeFacto results will be presented at the University Booth of IEEE/ACM DATE 2021.