Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems
Life Cycle Cost - Techniques and Applications
Modular Power Standard for Space Explorations Missions
Kinematic Design of a Reconfigurable Deployable Canopy
Optimization Design Method of 4 × 4 Bus Power Train Layout
Dynamic Balancing of a Nutating Planetary Bevel Gear Train
Design for Review - Applying Lessons Learned to Improve the FPGA Review Process
Engineering, simulation and part-design for new TWIP-steels in automotive car body crash systems
Stiffness Optimization for Springs in a Gun Cartridge Retaining Mechanism
Pinhole Effects on Venus Superpressure Balloon Lifetime
Methods for Testing the Mars Science Laboratory's Landing Radar
Light Weight Design for a Concept Sports Car Using Composite Material
The Study of Wheeled Semi-trailer Design and Development Based on Scale Model
Safety Problems of Engineering Structures at the Ground Fracture Sites Taking Xian’s for the Example