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 journal › Article › peer-review
17
Link opens in a new tab
Citations
(Scopus)