Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

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


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution 4.0 International (CC BY 4.0) Except where otherwise noted, this item's license is described as Creative Commons Attribution 4.0 International (CC BY 4.0)