Formalization of a multi-agent system using Z notation: Application to a system for oil spill location

• Autores: F.J. Mora, Ramón Rizo Aldeguer , M. Pujol, F. Aznar, M. Sempere
• Localización: Modelling for engineerin & human behaviour 2015, 2015, ISBN 978-84-608-5355-8, págs. 228-235
• Idioma: inglés
• Texto completo no disponible (Saber más ...)