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