ePrints

Formal Stepwise Development of Scalable and Reliable Multiagent Systems

Lookup NU author(s): Denis Grotsev, Dr Alexei Iliasov, Emeritus Professor Alexander RomanovskyORCiD

Downloads

• Published version [.pdf]

Publication metadata

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

Share