共 50 条
- [21] VERIFICATION OF A DYNAMIC KNEE SIMULATOR COMPUTATIONAL MODEL PROCEEDINGS OF THE ASME SUMMER BIOENGINEERING CONFERENCE 2008, PTS A AND B, 2009, : 3 - 4
- [22] Model Verification of Dynamic Software Product Lines THIRTIETH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2016), 2016, : 113 - 122
- [25] MODEL VERIFICATION OF MIXED DYNAMIC-SYSTEMS JOURNAL OF MECHANICAL DESIGN-TRANSACTIONS OF THE ASME, 1978, 100 (02): : 266 - 273
- [26] Test verification of the Cassini spacecraft dynamic model 1997 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 1, 1997, : 289 - 299
- [27] Verification of a Dynamic Channel Model using the SPIN Model Checker COMMUNICATING PROCESS ARCHITECTURES 2011, 2011, 68 : 35 - 54
- [29] A new dynamic state space model for the cylindrical grinding process PROCEEDINGS OF THE ASME DYNAMIC SYSTEMS AND CONTROL DIVISION 2005, PTS A AND B, 2005, : 697 - 703
- [30] A Time-Domain Surface Grinding Model for Dynamic Simulation 3RD CIRP CONFERENCE ON PROCESS MACHINE INTERACTIONS, 2012, 4 : 166 - 171