GI-Dagstuhl-Seminar 04032
Model-based Testing of Reactive Systems
( 12. Jan – 15. Jan, 2004 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/04032
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)
