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.