A system for validating and executing LOTOS data abstractions, SVELDA.
Description
| Title: | A system for validating and executing LOTOS data abstractions, SVELDA. |
| Authors: | Fehri, Mohamed Chedly. |
| Date: | 1987 |
| URL: | http://hdl.handle.net/10393/5300 http://dx.doi.org/10.20381/ruor-10683 |
| Collection | Thèses, 1910 - 2010 // Theses, 1910 - 2010 |
Files
| ML53779.PDF | 3.37 MB | Adobe PDF | Open |