Formal Goal-Oriented Development of Resilient MAS in Event-B

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Pereverzeva I, Troubitsyna E, Laibinis L
Editors: Brorsson M, Pinho LM
Publisher: Springer, Heidelberg
Publication year: 2012
Publisher: Springer
Book title: Reliable Software Technologies (Ada-Europe 2012)
Title of series: Lecture Notes in Computer Science
Volume number: 7308
Start page: 147
End page: 161
ISBN: 978-3-642-305

Last updated on 2019-10-12 at 01:04