Busque entre los 168426 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2008-05-02T16:16:12Z | |
dc.date.available | 2008-05-02T03:00:00Z | |
dc.date.issued | 1996 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/2144 | |
dc.description.abstract | 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 de primer orden TRIO, donde se incorpora una semántica más natural y adecuada para modelar sistemas de tiempo real y probar propiedades sobre los mismos, pudiendo expresar, además, el tiempo en forma infinita con la ayuda de variables definidas para tal efecto. La factibilidad de los algoritmos de análisis de TRIO' se demuestra con la implementación de los algoritmos de Generación de Modelos y de History-Checking, con un funcionamiento decidible. | es |
dc.language | es | es |
dc.subject | simulación y modelos | es |
dc.subject | sistemas de tiempo real | es |
dc.title | TRIO': O como ahora las tautologías son tautologías y el infinito es infinito | es |
dc.type | Tesis | es |
sedici.creator.person | Turquie, Isaac Carlos | es |
sedici.description.note | Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Facultad de Ciencias Exactas | es |
sedici.subtype | Tesis de grado | es |
sedici.rights.license | Creative Commons Attribution 4.0 International (CC BY 4.0) | |
sedici.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
sedici.contributor.director | Felder, Miguel | es |
thesis.degree.name | Licenciado en Informática | es |
thesis.degree.grantor | Universidad Nacional de La Plata | es |
sedici.date.exposure | 1996 | |
sedici2003.identifier | ARG-UNLP-TDG-0000000061 | es |