Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 5. 2008
van de Pol, J.C.
(2008)
A Typical Verification Challenge for the GRID.
(Invited)
In: Dagstuhl Seminar Proceedings 08332 'Distributed Verification and Grid Computing ', 10-14 August 2008, Dagstuhl, Germany.
Dagstuhl Seminar Proceedings (08332).
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.
ISSN 1862-4405
2007
Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C.
(2007)
Preface.
In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany.
V-VI.
Lecture Notes in Computer Science 4346.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-70951-0
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:06:33 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||