Exploring Architectural Model Checking with Declarative Specifications

Autores
Asteasuain, Fernando; Tarulla, Francisco
Año de publicación
2017
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: Tarulla, Francisco. Universidad de Buenos Aires. Departamento de Computación; 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/3501

id RDYD_92bc3b4aecd17ad2418f11bdcbdf0316
oai_identifier_str oai:undavdigital.undav.edu.ar:20.500.13069/3501
network_acronym_str RDYD
repository_id_str 4678
network_name_str RDyD (UNDAv)
spelling Exploring Architectural Model Checking with Declarative SpecificationsAsteasuain, FernandoTarulla, FranciscoFil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; ArgentinaFil: Tarulla, Francisco. Universidad de Buenos Aires. Departamento de Computación; Argentina.2017info: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/3501enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/reponame:RDyD (UNDAv)instname:Universidad Nacional de Avellaneda2025-10-16T10:11:13Zoai:undavdigital.undav.edu.ar:20.500.13069/3501instacron:UNDAVInstitucionalhttps://undavdigital.undav.edu.arUniversidad públicaNo correspondehttps://undavdigital.undav.edu.ar/oai/requestjbartoletti@undav.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:46782025-10-16 10:11:13.521RDyD (UNDAv) - Universidad Nacional de Avellanedafalse
dc.title.none.fl_str_mv Exploring Architectural Model Checking with Declarative Specifications
title Exploring Architectural Model Checking with Declarative Specifications
spellingShingle Exploring Architectural Model Checking with Declarative Specifications
Asteasuain, Fernando
title_short Exploring Architectural Model Checking with Declarative Specifications
title_full Exploring Architectural Model Checking with Declarative Specifications
title_fullStr Exploring Architectural Model Checking with Declarative Specifications
title_full_unstemmed Exploring Architectural Model Checking with Declarative Specifications
title_sort Exploring Architectural Model Checking with Declarative Specifications
dc.creator.none.fl_str_mv Asteasuain, Fernando
Tarulla, Francisco
author Asteasuain, Fernando
author_facet Asteasuain, Fernando
Tarulla, Francisco
author_role author
author2 Tarulla, Francisco
author2_role author
dc.description.none.fl_txt_mv Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: Tarulla, Francisco. Universidad de Buenos Aires. Departamento de Computación; Argentina.
description Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
publishDate 2017
dc.date.none.fl_str_mv 2017
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/3501
url https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3501
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_ 1846146165489270785
score 12.712165