Formal Service-Oriented Development of Fault Tolerant Communicating Systems

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Editors: Butler M, Jones C, Romanovsky A, Troubitsyna E
Publisher: School of Computing Science, University of Newcastle upon Tyne
Publication year: 2005
Publisher: School of Computing Science, University of Newcastle upon Tyne
Book title: Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
Title of series: Technical Report Series
Number in series: CS-TR-915
Start page: 2
End page: 11

Last updated on 2019-19-10 at 03:47