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
https://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

Ejemplares similares

Ejemplares similares