Formal Stepwise Development of Scalable and Reliable Multiagent Systems

This is the final published version of a book chapter that has been published in its final definitive form by IGI Global, 2011.

For re-use rights please refer to the publisher's terms and conditions.

Author(s): Grotsev D, Iliasov A, Romanovsky A

Editor(s): Petre, L; Sere, K; Troubitsyna, E;

Publication type: Book Chapter

Publication status: Published

Book Title: Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Year: 2011

Pages: 58-74

Publisher: IGI Global

Place Published: Hershey, PA

URL: http://dx.doi.org/10.4018/978-1-60960-747-0.ch004

DOI: 10.4018/978-1-60960-747-0.ch004

Library holdings: Search Newcastle University Library for this item

ISBN: 9781609607470

ePrints