On improving backwards verification of timed automata (extended abstract)
Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Guardado en:
Autores principales: | , , |
---|---|
Formato: | JOUR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_Braberman |
Aporte de: |
id |
todo:paper_15710661_v65_n6_p60_Braberman |
---|---|
record_format |
dspace |
spelling |
todo:paper_15710661_v65_n6_p60_Braberman2023-10-03T16:27:14Z On improving backwards verification of timed automata (extended abstract) 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. JOUR 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) |
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 |
JOUR |
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) |
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_ |
1782029703999127552 |