Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:54:40 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||