共 50 条
- [31] Adaptive model-based control of non-linear plants using neural networks and fuzzy logic SOFT COMPUTING AND INDUSTRY: RECENT APPLICATIONS, 2002, : 123 - 132
- [33] Assertion-based Verification of behavioral descriptions with non-linear solver HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2006, : 61 - +
- [34] On marker-based parentage verification via non-linear optimization Genetics Selection Evolution, 49
- [36] Linear Verification of Model-based Wavefront Sensorless Adaptive Optics System AOPC 2017: OPTICAL SENSING AND IMAGING TECHNOLOGY AND APPLICATIONS, 2017, 10462
- [38] Model-Based Functional Verification PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 421 - 424
- [39] Model-Based Continuous Verification 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 81 - 88