On improving backwards verification of timed automata (extended abstract)

Mostrar todas las versiones(3)

Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.

Guardado en:
Detalles Bibliográficos
Autores principales: Braberman, V., López Pombo, C., Olivero, A.
Formato: Artículo publishedVersion
Lenguaje:Inglés
Publicado: 2002
Materias:
Algorithms
Chaos theory
Formal logic
Iterative methods
Mathematical models
Mathematical operators
Semantics
Set theory
Backwards verification
Chaotic iteration
Fixpoint
Timed automata (TA)
Finite automata
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_Braberman
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paperaa:paper_15710661_v65_n6_p60_Braberman
record_format dspace
spelling paperaa:paper_15710661_v65_n6_p60_Braberman2023-06-12T16:50:47Z On improving backwards verification of timed automata (extended abstract) Electron. Notes Theor. Comput. Sci. 2002;65(6):60-67 Braberman, V. López Pombo, C. Olivero, A. Algorithms Chaos theory Formal logic Iterative methods Mathematical models Mathematical operators Semantics Set theory Backwards verification Chaotic iteration Fixpoint Timed automata (TA) Finite automata 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. 2002 info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion application/pdf eng info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_Braberman
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Inglés
orig_language_str_mv eng
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
spellingShingle Algorithms
Chaos theory
Formal logic
Iterative methods
Mathematical models
Mathematical operators
Semantics
Set theory
Backwards verification
Chaotic iteration
Fixpoint
Timed automata (TA)
Finite automata
Braberman, V.
López Pombo, C.
Olivero, A.
On improving backwards verification of timed automata (extended abstract)
topic_facet Algorithms
Chaos theory
Formal logic
Iterative methods
Mathematical models
Mathematical operators
Semantics
Set theory
Backwards verification
Chaotic iteration
Fixpoint
Timed automata (TA)
Finite automata
description Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
format Artículo
Artículo
publishedVersion
author Braberman, V.
López Pombo, C.
Olivero, A.
author_facet Braberman, V.
López Pombo, C.
Olivero, A.
author_sort Braberman, V.
title On improving backwards verification of timed automata (extended abstract)
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)
publishDate 2002
url http://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_Braberman
work_keys_str_mv AT brabermanv onimprovingbackwardsverificationoftimedautomataextendedabstract
AT lopezpomboc onimprovingbackwardsverificationoftimedautomataextendedabstract
AT oliveroa onimprovingbackwardsverificationoftimedautomataextendedabstract
_version_ 1769810046522228736

Ejemplares similares