Formal Service-Oriented Development of Fault Tolerant Communicating Systems

L Laibinis, E Troubitsyna, S Leppänen, Johan Lilius, Q Malik

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

Alkuperäiskieli	Ei tiedossa
Otsikko	Rigorous Development of Complex Fault-Tolerant Systems
Kustantaja	Springer Berlin / Heidelberg
Sivut	261–287
ISBN (painettu)	978-3-540-48265-9
Tila	Julkaistu - 2006
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Viittausmuodot

@inbook{28f63cfca6c64f15b523851ffdf1cfbd,

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

author = "L Laibinis and E Troubitsyna and S Lepp{\"a}nen and Johan Lilius and Q Malik",

year = "2006",

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

isbn = "978-3-540-48265-9",

pages = "261–287",

booktitle = "Rigorous Development of Complex Fault-Tolerant Systems",

publisher = "Springer Berlin / Heidelberg",

}