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 2020-31-05 at 05:21