Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Luca Gardelli, Mirko Viroli, Andrea Omicini
Multi-Agent Systems: Simulation and Applications, Ch. 5, pages 133-165
Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009
CRC Press
Adelinde M. Uhrmacher, Danny Weyns (eds.)
@incollection{simulation-massimulationbook09,
Author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
Booktitle = {Multi-Agent Systems: Simulation and Applications},
Chapter = 5,
Editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
Isbn = {978-1-4200-7023-1},
Isbn-10 = {1-4200-7023-1},
Month = jun,
Pages = {133--165},
Publisher = {CRC Press},
Series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
Title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
Url = {http://crcpress.com/product/isbn/9781420070231},
Year = 2009}
Author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
Booktitle = {Multi-Agent Systems: Simulation and Applications},
Chapter = 5,
Editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
Isbn = {978-1-4200-7023-1},
Isbn-10 = {1-4200-7023-1},
Month = jun,
Pages = {133--165},
Publisher = {CRC Press},
Series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
Title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
Url = {http://crcpress.com/product/isbn/9781420070231},
Year = 2009}