Formal Service-Oriented Development of Fault Tolerant Communicating Systems

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

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

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Rigorous Development of Complex Fault-Tolerant Systems
Förlag	Springer Berlin / Heidelberg
Sidor	261–287
ISBN (tryckt)	978-3-540-48265-9
Status	Publicerad - 2006
MoE-publikationstyp	A3 Del av bok eller annan forskningsbok

Citera det här

@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",

}