On improving backwards verification of timed automata (extended abstract)

Autores
Braberman, V.; López Pombo, C.; Olivero, A.
Año de publicación
2002
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Fil:López Pombo, C. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Fuente
Electron. Notes Theor. Comput. Sci. 2002;65(6):60-67
Materia
Algorithms
Chaos theory
Formal logic
Iterative methods
Mathematical models
Mathematical operators
Semantics
Set theory
Backwards verification
Chaotic iteration
Fixpoint
Timed automata (TA)
Finite automata
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/2.5/ar
Repositorio
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
paperaa:paper_15710661_v65_n6_p60_Braberman
Acceder
id BDUBAFCEN_423521d3a6603346c5da250237dccd06
oai_identifier_str paperaa:paper_15710661_v65_n6_p60_Braberman
network_acronym_str BDUBAFCEN
repository_id_str 1896
network_name_str Biblioteca Digital (UBA-FCEN)
spelling On improving backwards verification of timed automata (extended abstract)Braberman, V.López Pombo, C.Olivero, A.AlgorithmsChaos theoryFormal logicIterative methodsMathematical modelsMathematical operatorsSemanticsSet theoryBackwards verificationChaotic iterationFixpointTimed automata (TA)Finite automataFil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Fil:López Pombo, C. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.2002info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfhttp://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_BrabermanElectron. Notes Theor. Comput. Sci. 2002;65(6):60-67reponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCENenginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/2.5/ar2025-10-23T11:18:12Zpaperaa:paper_15710661_v65_n6_p60_BrabermanInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-10-23 11:18:13.277Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv On improving backwards verification of timed automata (extended abstract)
title On improving backwards verification of timed automata (extended abstract)
spellingShingle On improving backwards verification of timed automata (extended abstract)
Braberman, V.
Algorithms
Chaos theory
Formal logic
Iterative methods
Mathematical models
Mathematical operators
Semantics
Set theory
Backwards verification
Chaotic iteration
Fixpoint
Timed automata (TA)
Finite automata
title_short On improving backwards verification of timed automata (extended abstract)
title_full On improving backwards verification of timed automata (extended abstract)
title_fullStr On improving backwards verification of timed automata (extended abstract)
title_full_unstemmed On improving backwards verification of timed automata (extended abstract)
title_sort On improving backwards verification of timed automata (extended abstract)
dc.creator.none.fl_str_mv Braberman, V.
López Pombo, C.
Olivero, A.
author Braberman, V.
author_facet Braberman, V.
López Pombo, C.
Olivero, A.
author_role author
author2 López Pombo, C.
Olivero, A.
author2_role author
author
dc.subject.none.fl_str_mv Algorithms
Chaos theory
Formal logic
Iterative methods
Mathematical models
Mathematical operators
Semantics
Set theory
Backwards verification
Chaotic iteration
Fixpoint
Timed automata (TA)
Finite automata
topic Algorithms
Chaos theory
Formal logic
Iterative methods
Mathematical models
Mathematical operators
Semantics
Set theory
Backwards verification
Chaotic iteration
Fixpoint
Timed automata (TA)
Finite automata
dc.description.none.fl_txt_mv Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Fil:López Pombo, C. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
description Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
publishDate 2002
dc.date.none.fl_str_mv 2002
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_Braberman
url http://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_Braberman
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/2.5/ar
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/2.5/ar
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv Electron. Notes Theor. Comput. Sci. 2002;65(6):60-67
reponame:Biblioteca Digital (UBA-FCEN)
instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
reponame_str Biblioteca Digital (UBA-FCEN)
collection Biblioteca Digital (UBA-FCEN)
instname_str Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron_str UBA-FCEN
institution UBA-FCEN
repository.name.fl_str_mv Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
repository.mail.fl_str_mv ana@bl.fcen.uba.ar
_version_ 1846784874931814400
score 12.982451

Publicaciones similares