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

• Autores: Francisco José Mora Gimeno, Ramón Rizo Aldeguer, Mar Pujol López, Fidel Aznar Gregori, Mireia Sempere Tortosa
• 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 ...)