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