Data mining based decomposition for assume-guarantee reasoning

He Zhu, Fei He, William N.N. Hung, Xiaoyu Song, Ming Gu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Fingerprint

Dive into the research topics of 'Data mining based decomposition for assume-guarantee reasoning'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science