Publikationen (81)
Safety Assessment of Autonomous Cars using Verification Techniques (2007)
Althoff, M.; Stursberg, O.; Buss, M.
Beitrag in einem TagungsbandScheduling of Multiproduct Batch Plants using Reachability Analysis of Timed Automata Models. (2007)
Subbiah, S.; Panek, S.; Engell, S.; Stursberg, O.
Aufsatz in einer FachzeitschriftSchlusswort (2007)
Roßnagel, A.
Beitrag in einem SammelbandSchock, Trauma und Verletzung (2007)
Sick, F.
Beitrag in einem SammelbandSchritt für Schritt zur Lösung. Differenzierung durch Aufgaben mit gestuften Lernhilfen (Publikation der Forschergruppe Kassel) (2007)
Wodzinski, R.
Aufsatz in einer FachzeitschriftSchülerexperimente als Instrument der Leistungsbeurteilung (2007)
Di Fuccia, D.
MonographieSchulklasse und Schulumwelt als Determinanten der Gewalt an Schulen. (2007)
Fuchs, M.
Beitrag in einem SammelbandSchweizer Literatur von den Anfängen bis 1700 (2007)
Brinker-von der Heyde, C.
Beitrag in einem SammelbandScience for the practice-Peter Rossis - Contribution to the program evaluation (2007)
Hellstern, G.
Andere Publikation (z.B. Zeitungsartikel, Interview, populärwissenschaftliche Darstellung)Scientific basics for goal-oriented treatment of cooling appliances (2007)
Laner, D.; Rechberger, H.
Beitrag in einem Tagungsband