Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems

C. Petersohn; C. Huizing; J. Peleska; W.P. Roever, de

doi:10.1007/3-540-58426-9_124

Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems

C. Petersohn, C. Huizing, J. Peleska, W.P. Roever, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994)
Redacteuren	K. Echtle, D.K. Hammer, D. Powell
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	59-76
ISBN van geprinte versie	3-540-58426-9
DOI's	https://doi.org/10.1007/3-540-58426-9_124
Status	Gepubliceerd - 1994

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	852
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/3-540-58426-9_124

Citeer dit

Petersohn, C., Huizing, C., Peleska, J., & Roever, de, W. P. (1994). Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. In K. Echtle, D. K. Hammer, & D. Powell (editors), Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994) (blz. 59-76). (Lecture Notes in Computer Science; Vol. 852). Springer. https://doi.org/10.1007/3-540-58426-9_124

Petersohn, C. ; Huizing, C. ; Peleska, J. et al. / Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). redacteur / K. Echtle ; D.K. Hammer ; D. Powell. Berlin : Springer, 1994. blz. 59-76 (Lecture Notes in Computer Science).

@inproceedings{bd2fa9affc0542798dc58e80a6feb306,

title = "Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems",

author = "C. Petersohn and C. Huizing and J. Peleska and {Roever, de}, W.P.",

year = "1994",

doi = "10.1007/3-540-58426-9_124",

language = "English",

isbn = "3-540-58426-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "59--76",

editor = "K. Echtle and D.K. Hammer and D. Powell",

booktitle = "Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994)",

address = "Germany",

}

Petersohn, C, Huizing, C, Peleska, J & Roever, de, WP 1994, Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. in K Echtle, DK Hammer & D Powell (uitgave), Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). Lecture Notes in Computer Science, vol. 852, Springer, Berlin, blz. 59-76. https://doi.org/10.1007/3-540-58426-9_124

Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. / Petersohn, C.; Huizing, C.; Peleska, J. et al.
Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). uitgave / K. Echtle; D.K. Hammer; D. Powell. Berlin: Springer, 1994. blz. 59-76 (Lecture Notes in Computer Science; Vol. 852).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems

AU - Petersohn, C.

AU - Huizing, C.

AU - Peleska, J.

AU - Roever, de, W.P.

PY - 1994

Y1 - 1994

U2 - 10.1007/3-540-58426-9_124

DO - 10.1007/3-540-58426-9_124

M3 - Conference contribution

SN - 3-540-58426-9

T3 - Lecture Notes in Computer Science

SP - 59

EP - 76

BT - Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994)

A2 - Echtle, K.

A2 - Hammer, D.K.

A2 - Powell, D.

PB - Springer

CY - Berlin

ER -

Petersohn C, Huizing C, Peleska J, Roever, de WP. Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. In Echtle K, Hammer DK, Powell D, redacteurs, Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). Berlin: Springer. 1994. blz. 59-76. (Lecture Notes in Computer Science). doi: 10.1007/3-540-58426-9_124