Formal Service-Oriented Development of Fault Tolerant Communicating Systems

A3 Bokavsnitt, kapitel i forskningsböcker


Interna författare/redaktörer


Publikationens författare: Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
Förläggare: Springer Berlin / Heidelberg
Publiceringsår: 2006
Moderpublikationens namn: Rigorous Development of Complex Fault-Tolerant Systems
Seriens namn: Lecture Notes in Computer Science
Volym: 4157
Artikelns första sida, sidnummer: 261
Artikelns sista sida, sidnummer: 287
ISBN: 978-3-540-48265-9

Senast uppdaterad 2019-07-12 vid 03:41