Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.12008/2920
How to cite
| Title: | Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis |
| Authors: | Cristiá, Maximiliano |
| Tutor: | Giménez, Eduardo Szasz, Nora |
| Type: | Tesis de maestría |
| Keywords: | UNIX-COMPATIBILIDAD, SISTEMAS OPERATIVOS |
| Issue Date: | 2002 |
| Publisher: | UR. FI-INCO, |
| Citation: | CRISTIÁ, M. "Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis". Tesis de maestría, Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBA, 2002. |
| Obtained title: | Magíster en Informática |
| University or service that grants the title: | Universidad de la República (Uruguay). Facultad de Ingeniería. Instituto de Computación – PEDECIBA |
| License: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Appears in Collections: | Tesis de posgrado - Instituto de Computación |
Files in This Item:
| File | Description | Size | Format | ||
|---|---|---|---|---|---|
| tesis-cristia.pdf | 851,59 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
