共 50 条
- [32] Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking PROCEEDINGS OF THE 2009 IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2009, : 114 - +
- [34] A constraint solving approach to model reduction by tropical equilibration ALGORITHMS FOR MOLECULAR BIOLOGY, 2014, 9
- [35] A constraint solving approach to model reduction by tropical equilibration Algorithms for Molecular Biology, 9
- [36] Analysis of motion in contact and its application to mechanical assembly Denshi Gijutsu Sogo Kenkyusho Iho/Bulletin of the Electrotechnical Laboratory, 1994, 58 (04): : 39 - 49
- [38] Tibiofemoral Kinematic Analysis Using Contact Model during Normal Gait WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING 2006, VOL 14, PTS 1-6, 2007, 14 : 2991 - +
- [39] Fixture kinematic analysis based on the full contact model of rigid bodies JOURNAL OF MANUFACTURING SCIENCE AND ENGINEERING-TRANSACTIONS OF THE ASME, 2003, 125 (02): : 316 - 324
- [40] The Portfolio Model with RCaR Constraint and Its Application 2010 CMSA OVERALL UNITED PLANNING SYMPOSIUM (OUPS 2010), 2010, : 124 - 128