Wolfram Schulte

• Fields of Logic and Computation II
• Formal methods and software engineering
• Model-based software testing and analysis with C♯
• Model-based software testing and analysis with C♯
• Kardio-respiratorisches Leistungsprofil von Volleyballspielern verschiedener Spielklassen
• Model-Driven Engineering Languages and Systems