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
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
http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v65_n6_p60_Braberman_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires
id I28-R145-paper_15710661_v65_n6_p60_Braberman_oai
record_format dspace
spelling I28-R145-paper_15710661_v65_n6_p60_Braberman_oai2020-10-19 Braberman, V. López Pombo, C. Olivero, A. 2002 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. application/pdf http://hdl.handle.net/20.500.12110/paper_15710661_v65_n6_p60_Braberman info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar Electron. Notes Theor. Comput. Sci. 2002;65(6):60-67 Algorithms Chaos theory Formal logic Iterative methods Mathematical models Mathematical operators Semantics Set theory Backwards verification Chaotic iteration Fixpoint Timed automata (TA) Finite automata On improving backwards verification of timed automata (extended abstract) info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v65_n6_p60_Braberman_oai
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-145
collection Repositorio Digital de la Universidad de Buenos Aires (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 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
http://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v65_n6_p60_Braberman_oai
work_keys_str_mv AT brabermanv onimprovingbackwardsverificationoftimedautomataextendedabstract
AT lopezpomboc onimprovingbackwardsverificationoftimedautomataextendedabstract
AT oliveroa onimprovingbackwardsverificationoftimedautomataextendedabstract
_version_ 1766026786477441024

Ejemplares similares