TRIO': O como ahora las tautologías son tautologías y el infinito es infinito
La creciente utilización de sistemas de tiempo real en un amplio campo de nuestra vida moderna que requieren un alto grado de con íiatilidad , hace necesario el uso de técnicas de verificación formal de los mismos. Se define en este trabajo TRIO', como una extensión de la lógica temporal lineal...
Guardado en:
Autor principal: | Turquie, Isaac Carlos |
---|---|
Otros Autores: | Felder, Miguel |
Formato: | Tesis Tesis de grado |
Lenguaje: | Español |
Publicado: |
1996
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/2144 |
Aporte de: |
Ejemplares similares
-
Simulador para la evaluación de tiempos de respuesta en transacciones distribuidas y para el estudio de recuperación de errores
por: Miaton, Ivana Carla
Publicado: (2001) -
Simulación de tareas aperiódicas y esporádicas de tiempo real mediante un modelo de eventos discretos
por: Páez, Francisco E., et al.
Publicado: (2013) -
Generador de conjuntos de tareas para simulación en sistemas de tiempo real
por: Olguín, Gabriela, et al.
Publicado: (2010) -
Tópicos de Diseño de Aplicaciones de Tiempo Real
por: Romero, Fernando, et al.
Publicado: (2013) -
Modelización y estudio experimental de sistemas distribuidos de tiempo real
por: Miaton, Ivana Carla, et al.
Publicado: (2001)