Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 3. 2005
Broy, M. and Jonsson, B. and Katoen, J.P. and Leucker, M. and Pretschner, A., ed.
(2005)
Model-Based Testing of Reactive Systems, Advanced Lectures.
Lecture Notes in Computer Science 3472.
Springer-Verlag, Berlin.
ISBN 3 540 26278 4
Belinfante, A.F.E. and Frantzen, L. and Schallhart, C.
(2005)
Tools for Test Case Generation.
In:
Model-Based Testing of Reactive Systems: Advanced Lectures.
Lecture Notes in Computer Science 3472.
Springer Verlag, pp. 391-438.
ISBN 3 540 26278 4
Brandán Briones, L. and Röhl, M.
(2005)
Test Derivation from Timed Automata.
In:
Model-Based Testing of Reactive Systems.
Lecture Notes in Computer Science 3472.
Springer Verlag, Berlin, pp. 201-231.
ISBN 3 540 26278 4
This list was generated on Thu May 24 07:49:40 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||