Universidad de Granada Digibug
 

Repositorio Institucional de la Universidad de Granada >
1.-Investigación >
Tesis >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10481/19862

Title: Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción Tableau para su aplicación en comprobación de modelos On-The-Fly/
Authors: Hornos Barranco, Miguel J.
Direction: Capel Tuñón, Manuel Isidoro
Collaborator: Universidad de Granada. Departamento de Lenguajes y Sistemas Informáticos
Issue Date: 2012
Submitted Date: 2002
Sponsorship: Tesis Univ. Granada. Departamento de Lenguajes y Sistemas Informáticos. Leída el 19 de diciembre de 2002.
Publisher: Granada: Universidad de Granada
Keywords: Concurrencia (Ciencias de la Computación)
Sistemas de ordenadores a tiempo real
UDC: 681.3
1203.11
3304.17
3304.11
1102.04
1102.09
URI: http://hdl.handle.net/10481/19862
ISBN: 9788469493359
Rights : Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License
Other Identifiers: D.L.: GR 757-2012
Appears in Collections:Tesis

Files in This Item:

File Description SizeFormat
20156881.pdf1.44 MBAdobe PDFView/Open
Recommend this item

This item is licensed under a Creative Commons License
Creative Commons

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! OpenAire compliant DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard - Feedback

© Universidad de Granada