Modeling and specification of distributed timed systems

Increasing complexity in distributed and real-time systems makes them very hard to model and specify correctly. Different formal methods are useful for the process of modeling and specification of these kinds of systems. Timed Automata (TA) and Distributed Timed Automata (DTA) are the dominant mode...

Descrición completa

Gardado en:
Detalles Bibliográficos
Publicado en:Ingeniería y Competitividad
Autor Principal: James J. Ortiz
Formato: Artigo
Idioma:Inglês
Publicado: Universidad del Valle 2013
Assuntos:
Ingeniería
Timed Automata
Formal Methods
Temporal Logic
Acceso en liña:https://www.redalyc.org/articulo.oa?id=291329166010
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares