Formalization of a multi-agent system using Z notationApplication to a system for oil spill location

  1. F. J. Mora
  2. R. Rizo
  3. M. Pujol
  4. F. Aznar
  5. M. Sempere
Book:
Modelling for engineerin & human behaviour 2015

Publisher: Instituto Universitario de Matemática Multidisciplinar

ISBN: 978-84-608-5355-8

Year of publication: 2015

Pages: 228-235

Type: Book chapter