Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 6. 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
1996
D'Argenio, P.R. and Brinksma, H.
(1996)
A Calculus for Timed Automata (Extended Abstract).
In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, September 9-13, 1996, Uppsala, Sweden.
pp. 110-129.
Lecture Notes in Computer Science 1135.
Springer Verlag.
ISBN 3-540-61648-9
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H.
(1996)
On specifying real-time systems in a causality-based setting.
In: Formal Techniques in Real-Time and Fault-Tolerant Systems, September 9-13, 1996, Uppsala, Sweden.
pp. 385-405.
Lecture Notes in Computer Science 1135.
Springer-Verlag.
ISBN 3-540-61648-9
1994
Rensink, A. and Wehrheim, H.
(1994)
Weak Sequential Composition in Process Algebras.
In: Concurrency Theory (CONCUR), Uppsala, Sweden.
pp. 226-241.
Lecture Notes in Computer Science 836.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-58328-8
This list was generated on Thu May 24 06:47:35 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||