El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
Chequeo de modelos cuantitativos mediante teoría de autómatas /
El chequeo de modelos es una técnica utilizada para la verificación según especificaciones expresadas en una lógica temporal. Usualmente, éste busca responder por si o por no a la pregunta de si un determinado sistema satisface una especificación así expresada. Cuando se trata con sistemas estocásti...
|a Chequeo de modelos cuantitativos mediante teoría de autómatas /
|c Marcos E. Kurbán.
260
|a [S.l. :
|b s.n.],
|c 2003.
300
|a 63 p. :
|b il. ;
|c 30 cm.
500
|a
502
|a Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2003.
504
|a Incluye referencias bibliográficas: p. 63.
520
|a El chequeo de modelos es una técnica utilizada para la verificación según especificaciones expresadas en una lógica temporal. Usualmente, éste busca responder por si o por no a la pregunta de si un determinado sistema satisface una especificación así expresada. Cuando se trata con sistemas estocásticos (sistemas en cuya especificación intervienen probabilidades) surgen nuevas preguntas acerca del funcionamiento de un sistema. Por ello se suele llevar a cabo una cuantificación de las probabilidades de satisfacción de una fórmula por parte de un sistema dado. Las técnicas usualmente empleadas para el chequeo de modelos cuantitativos son de tipo numérico (por ej. programación lineal). Sin embargo también pueden ser usadas para chequeos cuantitativos. Este trabajo intenta completar parte del desarrollo de una técnica con estas características: chequear cuantitativamente un sistema basándose en una especificación expresada en una lógica temporal, y además hacerlo con técnicas de teoría de autómatas.
590
|a La biblioteca posee 1 ej.
650
4
|a Program verification.
650
4
|a Semantics of programing languages.
650
4
|a Verificación de programas.
700
1
|a D'Argenio, Pedro Ruben,
|d 1968-
|e dir.
|9 3837
942
|c TRAB. ESP.
945
|a|d 2003-04-03
945
|a MEG
|d 2011-07-29
945
|a MBO
|d 2011-09-06
|d 2014-04-16
952
|0 0
|1 0
|2|4 0
|6 TRABAJO_ESPECIAL_COMPUTACIÓN_CAJA_2_000000000000000__16501
|7 0
|9 17565
|a MMA
|b MMA
|c 94
|d 2003-04-03
|e Donación del autor
|o Trabajo Especial Computación CAJA 2 - 16501
|p 16501
|r 2017-07-21
|t 1
|w 2013-04-16
|x TE C KUR
|y TRAB. ESP.