142 followers
The brand new book "Design Automation of Cyber-Physical Systems" features two chapters on formal and data-driven verification: https://t.co/TpdbVfhb6M
The brand new book "Design Automation of Cyber-Physical Systems" features two chapters on formal and data-driven verification: https://t.co/TpdbVfhb6M