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

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
Redaktörer	M Butler, C Jones, A Romanovsky, E Troubitsyna
Förlag	School of Computing Science, University of Newcastle upon Tyne
Sidor	2–11
Status	Publicerad - 2005
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference - Varaktighet: 1 jan. 2010 → …

Konferens

Konferens	conference
Period	01/01/10 → …

Åtkomst av dokument

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

Citera det här

Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J., & Malik, Q. (2005). Formal Service-Oriented Development of Fault Tolerant Communicating Systems. I M. Butler, C. Jones, A. Romanovsky, & E. Troubitsyna (Red.), Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005) (s. 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). redaktör / M Butler ; C Jones ; A Romanovsky ; E Troubitsyna. School of Computing Science, University of Newcastle upon Tyne, 2005. s. 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. i M Butler, C Jones, A Romanovsky & E Troubitsyna (red), Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). School of Computing Science, University of Newcastle upon Tyne, s. 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). red. / M Butler; C Jones; A Romanovsky; E Troubitsyna. School of Computing Science, University of Newcastle upon Tyne, 2005. s. 2–11.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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 -