On improving backwards verification of timed automata (extended abstract)

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

Detalles Bibliográficos
Autores principales: Braberman, Víctor Adrián, López Pombo, Carlos Gustavo
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:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15710661_v65_n6_p60_Braberman
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 paper:paper_15710661_v65_n6_p60_Braberman
record_format dspace
spelling paper:paper_15710661_v65_n6_p60_Braberman2023-06-08T16:24:34Z On improving backwards verification of timed automata (extended abstract) Braberman, Víctor Adrián López Pombo, Carlos Gustavo 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 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15710661_v65_n6_p60_Braberman 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íctor Adrián
López Pombo, Carlos Gustavo
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.
author Braberman, Víctor Adrián
López Pombo, Carlos Gustavo
author_facet Braberman, Víctor Adrián
López Pombo, Carlos Gustavo
author_sort Braberman, Víctor Adrián
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 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15710661_v65_n6_p60_Braberman
http://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_Braberman
work_keys_str_mv AT brabermanvictoradrian onimprovingbackwardsverificationoftimedautomataextendedabstract
AT lopezpombocarlosgustavo onimprovingbackwardsverificationoftimedautomataextendedabstract
_version_ 1768546040902844416

Ejemplares similares