Publications (81)
Safety Assessment of Autonomous Cars using Verification Techniques (2007)
Althoff, M.; Stursberg, O.; Buss, M.
Conference proceedings articleScheduling of Multiproduct Batch Plants using Reachability Analysis of Timed Automata Models. (2007)
Subbiah, S.; Panek, S.; Engell, S.; Stursberg, O.
Journal articleSchlusswort (2007)
Roßnagel, A.
Contribution in edited bookSchock, Trauma und Verletzung (2007)
Sick, F.
Contribution in edited bookSchritt für Schritt zur Lösung. Differenzierung durch Aufgaben mit gestuften Lernhilfen (Publikation der Forschergruppe Kassel) (2007)
Wodzinski, R.
Journal articleSchülerexperimente als Instrument der Leistungsbeurteilung (2007)
Di Fuccia, D.
Authored bookSchulklasse und Schulumwelt als Determinanten der Gewalt an Schulen. (2007)
Fuchs, M.
Contribution in edited bookSchweizer Literatur von den Anfängen bis 1700 (2007)
Brinker-von der Heyde, C.
Contribution in edited bookScience for the practice-Peter Rossis - Contribution to the program evaluation (2007)
Hellstern, G.
Other publication (e.g., newspaper article, interview, popular science publications)Scientific basics for goal-oriented treatment of cooling appliances (2007)
Laner, D.; Rechberger, H.
Conference proceedings article