GI-Dagstuhl Seminar 04032
Model-based Testing of Reactive Systems
( Jan 12 – Jan 15, 2004 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/04032
Organizers
- 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)
