Logic Model Checking of Time-Periodic Real-Time Systems
Certified Information Flow Analysis of Service Implementations
Evaluation of High-Temperature Martensitic Steels for Heavy-Duty Diesel Piston Applications
Health Management Systems Engineering and Integration
Numerical Investigations on Development of Scramjet Combustor
Digital Twin For Fatigue Analysis
Scientific Developers v/s Static Analysis Tools: Vision and Position Paper