Formal specification methodologies and supporting environment for real-time systems

Files
ucalgary_2005_ngolah_cyprian foinjong_527551.pdf(15.57 MB)
Date
2005
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 191-207
Keywords
Citation
Ngolah, C. F. (2005). Formal specification methodologies and supporting environment for real-time systems (Doctoral thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/134
URI
http://hdl.handle.net/1880/101135
Collections
Legacy Theses