Modeling the Integration Between Specifications and Verification for Cylindricity Based on Category Theory

Xiangqian Jiang, P. Scott, Qunfen Qi, Wenlong Lu, Xiaojun Liu

Research output: Contribution to journalArticlepeer-review

17 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Modeling the Integration Between Specifications and Verification for Cylindricity Based on Category Theory'. Together they form a unique fingerprint.

Mathematics

Physics & Astronomy

Engineering & Materials Science