EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Rennoch, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2000

Willemse, T.A.C. and Tretmans, G.J. and Klomp, A. (2000) A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol. In: Fifth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000). pp. 331-344. GMD Report 91. GMD. ISSN 1435-2702
Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Safety Critical Railway Control System. In: Fifth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000, 3-4 Apr 2000, Berlin, Germany. pp. 305-329. GMD-Report 91. GMD - Forschungszentrum Informationstechnik GmbH. ISSN 1435-2702

1997

Tretmans, G.J. (1997) Repetitive Quiescence in Implementation and Testing (Extended Abstract). In: Formale Beschreibungstechniken für verteilte Systeme, 19.-20. Juni 1997, Berlin, Germany. pp. 23-37. GMD-Studien 315. GMD-Forschungszentrum Informationstechnik GmbH. ISBN 3-88457-315-2
Rensink, A. and Gorrieri, R. (1997) Action Refinement for Vertical Implementation. In: Formale Beschreibungstechniken für verteilte Systeme. pp. 69-78. GMD-Studien (315). Oldenbourg Verlag. ISBN 3-88457-315-2

This list was generated on Mon May 22 04:25:57 CEST 2017.