Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems
Life Cycle Cost - Techniques and Applications
Closed-form Method for Multi-stage Axial Flux Permanent Magnet Machine: Design and Analysis
Modified Synchronous Vector Control Design of Multilevel Inverters for AC Grid Applications
Design methodology for trailing-edge high-lift mechanisms
Impact of pulsed jet actuators on aircraft mass and fuel consumption
Condition Monitoring and Fault Diagnosis of Induction Motor Using Support Vector Machine
Electrical machines : mathematical fundamentals of machine topologies
Kinematic Design of a Reconfigurable Deployable Canopy
Systems engineering for commercial aircraft : a domain-specific adaptation
Systems engineering for commercial aircraft : a domain-specific adaptation
Optimization Design Method of 4 × 4 Bus Power Train Layout
Dynamic Balancing of a Nutating Planetary Bevel Gear Train
Simulation-driven aerodynamic design using variable-fidelity models
On the Eye Movement Technique-Based HMI Work Efficiency Evaluation System