Technical & Research Reports

ICS-FORTH Technical Reports

• Tzounakis, P.N. (1992). Adding Dense Time Properties to Finite--State Machines: The Tool COSPAN. 1992.TR072.Dense_Time_Finite-State_Machines_COSPAN.ps.Z
• Spitadakis, V., Zisiadis, D., & Kyriakakis, V. (1992). OSI Networks in FORTH. 1992.TR61.OSI_FORTHnet.ps.Z
• Spitadakis, V., & Strakadounas, C. (1992). Towards a Network Management solution in FORTH. 1992.TR62.Network_Management_FORTH.ps.Z
• Courcoubetis, C., & Fouskas, G. (1992). Using Asymptotic Techniques in Call Acceptance Management for ATM networks. 1992.TR69.Asymptotic_Techniques_in_CAM_ATM.ps.Z
• Tzounakis, P.N. (1992). Verification of Real Time Systems:The extension of COSPAN in dense time. 1992.TR057.Verification_Real_Time_Systems_COSPAN_Extension.ps.gz

M.S. Theses

• Alamanos, E. (1992). Ένα Σύστημα για την Αποδοτική Εκτέλεση Σύγχρονων Παράλληλων αλγορίθμων σε Τοπικό Δίκτυο Υπολογιστών . December 1992
• Tzounakis, P. (1992). Επαλήθευση Συστήματος Πραγματικού Χρόνου - η Επέκταση του COSPAN σε Συνεχή Χρόνο . September 1992