Model-based testing of fault scenarios in production automation
Model-based analysis of critical resources in automotive system architectures
Model-based testing of automotive HMIs with consideration for product variability
Model-based testing of automotive HMIs with consideration for product variability
Model-based testing of automotive HMIs with consideration for product variability
Specification and verification of embedded real-time systems in the automotive domain
Specification and verification of embedded real-time systems in the automotive domain
Applying model-based testing to a train control system
Model-based testing of a reactive system with coloured Petri Nets