Formal Service-Oriented Development of Fault Tolerant Communicating Systems

Linas Laibinis; Elena Troubitsyna; Sari Leppänen; Johan Lilius; Qaisar Malik

Formal Service-Oriented Development of Fault Tolerant Communicating Systems

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
Editors	M Butler, C Jones, A Romanovsky, E Troubitsyna
Publisher	School of Computing Science, University of Newcastle upon Tyne
Pages	2–11
Publication status	Published - 2005
MoE publication type	A4 Article in a conference publication
Event	conference - Duration: 1 Jan 2010 → …

Conference

Conference	conference
Period	01/01/10 → …

Access to Document

http://www.cs.ncl.ac.uk/publications/trs/papers/915.pdf

Cite this

Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J., & Malik, Q. (2005). Formal Service-Oriented Development of Fault Tolerant Communicating Systems. In M. Butler, C. Jones, A. Romanovsky, & E. Troubitsyna (Eds.), Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005) (pp. 2–11). School of Computing Science, University of Newcastle upon Tyne. http://www.cs.ncl.ac.uk/publications/trs/papers/915.pdf

Laibinis, Linas ; Troubitsyna, Elena ; Leppänen, Sari et al. / Formal Service-Oriented Development of Fault Tolerant Communicating Systems. Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). editor / M Butler ; C Jones ; A Romanovsky ; E Troubitsyna. School of Computing Science, University of Newcastle upon Tyne, 2005. pp. 2–11

@inproceedings{f1d4b46a96ba4c13a44a44aff4337d81,

title = "Formal Service-Oriented Development of Fault Tolerant Communicating Systems",

author = "Linas Laibinis and Elena Troubitsyna and Sari Lepp{\"a}nen and Johan Lilius and Qaisar Malik",

note = "Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), conference: 13th International Symposium of Formal Methods 2005; conference ; Conference date: 01-01-2010",

year = "2005",

language = "Odefinierat/ok{\"a}nt",

pages = "2–11",

editor = "M Butler and C Jones and A Romanovsky and E Troubitsyna",

booktitle = "Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)",

publisher = "School of Computing Science, University of Newcastle upon Tyne",

}

Laibinis, L, Troubitsyna, E, Leppänen, S, Lilius, J & Malik, Q 2005, Formal Service-Oriented Development of Fault Tolerant Communicating Systems. in M Butler, C Jones, A Romanovsky & E Troubitsyna (eds), Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). School of Computing Science, University of Newcastle upon Tyne, pp. 2–11, conference, 01/01/10. <http://www.cs.ncl.ac.uk/publications/trs/papers/915.pdf>

Formal Service-Oriented Development of Fault Tolerant Communicating Systems. / Laibinis, Linas; Troubitsyna, Elena; Leppänen, Sari et al.
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). ed. / M Butler; C Jones; A Romanovsky; E Troubitsyna. School of Computing Science, University of Newcastle upon Tyne, 2005. p. 2–11.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Formal Service-Oriented Development of Fault Tolerant Communicating Systems

AU - Laibinis, Linas

AU - Troubitsyna, Elena

AU - Leppänen, Sari

AU - Lilius, Johan

AU - Malik, Qaisar

N1 - Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), conference: 13th International Symposium of Formal Methods 2005

PY - 2005

Y1 - 2005

M3 - Konferensbidrag

SP - 2

EP - 11

BT - Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)

A2 - Butler, M

A2 - Jones, C

A2 - Romanovsky, A

A2 - Troubitsyna, E

PB - School of Computing Science, University of Newcastle upon Tyne

T2 - conference

Y2 - 1 January 2010

ER -