共 50 条
- [1] Hybrid modeling specifications for dynamic physical systems [J]. 1997 INTERNATIONAL CONFERENCE ON BOND GRAPH MODELING AND SIMULATION (ICBGM'97), 1997, 29 (01): : 162 - 167
- [3] Integrating dynamic geometry software, deduction systems, and theorem repositories [J]. MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2006, 4108 : 280 - 294
- [4] Integrating Construction Specifications and Building Information Modeling [J]. COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING: 15TH INTERNATIONAL CONFERENCE, CDVE 2018, 2018, 11151 : 86 - 93
- [5] An integrating approach for modeling nonlinear dynamic systems with embedded logic [J]. PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 1092 - 1093
- [6] Modeling and Supervisory Control of Dynamic Material Handling Systems [J]. 2013 32ND CHINESE CONTROL CONFERENCE (CCC), 2013, : 8336 - 8341
- [7] Integrating rendering specifications into a formalism for the design of interactive systems [J]. DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 171 - 190