Towards real-time object-Z

Smith, Graeme and Hayes, Ian (1999) Towards real-time object-Z. Technical Report SSE 99-10, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
Author Smith, Graeme
Hayes, Ian
Title Towards real-time object-Z
School, Department or Centre Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering
Institution The University of Queensland
Report Number 99-10
Series Technical Report SSE
Publication date 1999-02
Total pages 19
Publisher SVRC
Language eng
Q-Index Code AX
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Department Technical Report
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Tue, 30 Oct 2012, 15:46:59 EST by Dr. Nisansala Yatapanage on behalf of School of Information Technol and Elec Engineering