共 50 条
- [14] Functional Synthesis via Input-Output Separation [J]. PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), 2018, : 139 - 147
- [15] Functional synthesis via input-output separation [J]. FORMAL METHODS IN SYSTEM DESIGN, 2022, 60 (02) : 228 - 258
- [19] Optimization and control of input-output system in petroleum exploitation [J]. Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 18 (05): : 107 - 111
- [20] CONSTRUCTING SIMULATION OUTPUT INTERVALS UNDER INPUT UNCERTAINTY VIA DATA SECTIONING [J]. 2018 WINTER SIMULATION CONFERENCE (WSC), 2018, : 1551 - 1562