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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
Toimittajat	M Butler, C Jones, A Romanovsky, E Troubitsyna
Kustantaja	School of Computing Science, University of Newcastle upon Tyne
Sivut	2–11
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - Kesto: 1 tammik. 2010 → …

Konferenssi

Konferenssi	conference
Ajanjakso	01/01/10 → …

Pääsy asiakirjaan

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

Viittausmuodot

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 - Publicerad konferensartikel

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 -

Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q. Formal Service-Oriented Development of Fault Tolerant Communicating Systems. julkaisussa Butler M, Jones C, Romanovsky A, Troubitsyna E, toimittajat, Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). School of Computing Science, University of Newcastle upon Tyne. 2005. s. 2–11