https://www.dagstuhl.de/04032

12. – 15. Januar 2004, GI-Dagstuhl-Seminar 04032

Model-based Testing of Reactive Systems

Organisatoren

Manfred Broy (TU München, DE)
Bengt Jonsson (Uppsala University, SE)
Joost-Pieter Katoen (RWTH Aachen, DE)
Martin Leucker (TU München, DE)
Alexander Pretschner (TU Kaiserslautern, DE)

Auskunft zu diesem GI-Dagstuhl-Seminar erteilt

Heike Clemens

Dokumente

Externe Homepage
Dagstuhl's Impact: Dokumente verfügbar

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.