Verification and Behavioral Synthesis of Agent-Based Systems

Autores
Asteasuain, Fernando; D'Angiolo, Federico; Dubinsky, Manuel; Gamboa, Pablo Daniel
Año de publicación
2020
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: D'Angiolo, Federico. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: Dubinsky, Manuel. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: Gamboa, Pablo Daniel. Universidad Abierta Interamericana. Centro de Altos Estudios; Argentina
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
RDyD (UNDAv)
Institución
Universidad Nacional de Avellaneda
OAI Identificador
oai:undavdigital.undav.edu.ar:20.500.13069/3494

id RDYD_52c96a9e2c2822f09710e262eaa9a751
oai_identifier_str oai:undavdigital.undav.edu.ar:20.500.13069/3494
network_acronym_str RDYD
repository_id_str 4678
network_name_str RDyD (UNDAv)
spelling Verification and Behavioral Synthesis of Agent-Based SystemsAsteasuain, FernandoD'Angiolo, FedericoDubinsky, ManuelGamboa, Pablo DanielFil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; ArgentinaFil: D'Angiolo, Federico. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; ArgentinaFil: Dubinsky, Manuel. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; ArgentinaFil: Gamboa, Pablo Daniel. Universidad Abierta Interamericana. Centro de Altos Estudios; Argentina2020info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttps://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3494enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/reponame:RDyD (UNDAv)instname:Universidad Nacional de Avellaneda2025-09-29T14:29:57Zoai:undavdigital.undav.edu.ar:20.500.13069/3494instacron:UNDAVInstitucionalhttps://undavdigital.undav.edu.arUniversidad públicaNo correspondehttps://undavdigital.undav.edu.ar/oai/requestjbartoletti@undav.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:46782025-09-29 14:29:57.489RDyD (UNDAv) - Universidad Nacional de Avellanedafalse
dc.title.none.fl_str_mv Verification and Behavioral Synthesis of Agent-Based Systems
title Verification and Behavioral Synthesis of Agent-Based Systems
spellingShingle Verification and Behavioral Synthesis of Agent-Based Systems
Asteasuain, Fernando
title_short Verification and Behavioral Synthesis of Agent-Based Systems
title_full Verification and Behavioral Synthesis of Agent-Based Systems
title_fullStr Verification and Behavioral Synthesis of Agent-Based Systems
title_full_unstemmed Verification and Behavioral Synthesis of Agent-Based Systems
title_sort Verification and Behavioral Synthesis of Agent-Based Systems
dc.creator.none.fl_str_mv Asteasuain, Fernando
D'Angiolo, Federico
Dubinsky, Manuel
Gamboa, Pablo Daniel
author Asteasuain, Fernando
author_facet Asteasuain, Fernando
D'Angiolo, Federico
Dubinsky, Manuel
Gamboa, Pablo Daniel
author_role author
author2 D'Angiolo, Federico
Dubinsky, Manuel
Gamboa, Pablo Daniel
author2_role author
author
author
dc.description.none.fl_txt_mv Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: D'Angiolo, Federico. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: Dubinsky, Manuel. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: Gamboa, Pablo Daniel. Universidad Abierta Interamericana. Centro de Altos Estudios; Argentina
description Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
publishDate 2020
dc.date.none.fl_str_mv 2020
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3494
url https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3494
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:RDyD (UNDAv)
instname:Universidad Nacional de Avellaneda
reponame_str RDyD (UNDAv)
collection RDyD (UNDAv)
instname_str Universidad Nacional de Avellaneda
repository.name.fl_str_mv RDyD (UNDAv) - Universidad Nacional de Avellaneda
repository.mail.fl_str_mv jbartoletti@undav.edu.ar
_version_ 1844621870832287744
score 12.559606