Jens Grabowski

• Formal Approaches to Software Testing (vol. # 3395)
• Simulation Science
• Formal Approaches to Software Testing
• Model-Driven Testing
• Specification based testing of real-time distributed systems: languages, tools and applications