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 ...)