Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools

Remigiusz Wisniewski, Grzegorz Bazydlo, Luis Gomes, Aniko Costa, Marcin Wojnakowski

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools'. Together they form a unique fingerprint.

Engineering & Materials Science