Overcoming Operational Blindness in Software Architecture
Research on the UML-based Modeling of Embedded Software for Diesel Engine Control System
An Empirical Approach Applied in Assessing the Software Product Quality through VPRS Analysis
Finding All Potential Run-Time Errors and Data Races in Automotive Software
Survey of Concerns in Embedded Systems Requirements Engineering
Management of RAM Fault for Safety Applications
Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
Optical Imaging Evaluation of Impact Damage Resistance Testing on Exterior Finishes
Model-Based Testing Design for Embedded Automotive Software
Efficient Software Development Applying a Model - Based Concept
Future Automotive Embedded Systems Enabled by Efficient Model-Based Software Development
Breakthrough Approach to Automotive Diagnostic Verification
One Click Build Environment and Tool Chain for Real Time Safety Critical Aerospace Embedded System
Software Reliability Modelling and Application in Software Development Life Cycle
Multi-Target Modelling for Embedded Software Development for Automotive Applications
An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)