Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2002
de Vries, R.G. and Belinfante, A.F.E. and Feenstra, J.
(2002)
Automated Testing in Practice: The Highway Tolling System.
In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV.
pp. 219-234.
IFIP Conference Proceedings 210.
Kluwer Academic Publishers.
ISBN 0-7923-7695-1
Feijs, L.M.G. and Goga, N. and Mauw, S. and Tretmans, G.J.
(2002)
Test Selection, Trace Distance and Heuristics.
In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom, March 19-22, 2002, Berlin, Germany.
pp. 267-282.
IFIP Conference Proceedings 210.
Kluwer Academic Publishers.
ISBN 0-7923-7695-1
1998
Katoen, J.P. and Lambert, L.
(1998)
Pomsets for message sequence charts.
In: Formale Beschreibungstechniken fuer verteilte Systeme, 8. GI/ITG-Fachgespraech, 4. und 5. Juni 1998, Cottbus, Germany.
pp. 197-207.
Shaker Verlag.
ISBN 3-8265-3807-2
Firley, T. and Gehrke, T. and Rensink, A.
(1998)
Spezifikation eines RPC-Speichers mit der Sprache ProFun.
In: Formale Beschreibungstechniken für verteilte Systeme, Cottbus, Germany.
pp. 136-147.
Shaker Verlag.
ISBN 3-8265-3807-2
This list was generated on Thu May 24 06:51:31 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||