Development and Industrial Application of Multi-Domain Security Testing Technologies
VERification-oriented & component-based model Driven Engineering for real-time embedded systems
Flexible Global Product Development and Integration
Model-driven development of highly configurable embedded Software-intensive Systems