Formal Service-Oriented Development of Fault Tolerant Communicating Systems

A3 Book section, Chapters in research books


Internal Authors/Editors


Publication Details

List of Authors: Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
Publisher: Springer Berlin / Heidelberg
Publication year: 2006
Book title: Rigorous Development of Complex Fault-Tolerant Systems
Title of series: Lecture Notes in Computer Science
Volume number: 4157
Start page: 261
End page: 287
ISBN: 978-3-540-48265-9

Last updated on 2019-15-12 at 02:49