Good news! The PRISM website is available for submissions. The planned data migration to the Scholaris server has been successfully completed. We’d love to hear your feedback at openservices@ucalgary.libanswers.com
 

Formal specification methodologies and supporting environment for real-time systems

Simple item page
dc.contributor.advisorWang, Yingxu
dc.contributor.authorNgolah, Cyprian Foinjong
dc.date.accessioned2017-12-18T21:02:05Z
dc.date.available2017-12-18T21:02:05Z
dc.date.issued2005
dc.descriptionBibliography: p. 191-207en
dc.format.extentxvi, 268 leaves : ill. ; 30 cm.en
dc.identifier.citationNgolah, 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/134en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/134
dc.identifier.urihttp://hdl.handle.net/1880/101135
dc.language.isoeng
dc.publisher.institutionUniversity of Calgaryen
dc.publisher.placeCalgaryen
dc.rightsUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.titleFormal specification methodologies and supporting environment for real-time systems
dc.typedoctoral thesis
thesis.degree.disciplineElectrical and Computer Engineering
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameDoctor of Philosophy (PhD)
ucalgary.thesis.accessionTheses Collection 58.002:Box 1597 520492114
ucalgary.thesis.notesUARCen
ucalgary.thesis.uarcreleaseyen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
ucalgary_2005_ngolah_cyprian foinjong_527551.pdf
Size:
15.57 MB
Format:
Adobe Portable Document Format
Description:
Thesis
Download

Collections

Legacy Theses

Powered by

Libraries & Cultural Resources

Start Something.

University of Calgary
2500 University Drive NW
Calgary Alberta T2N 1N4
CANADA

Copyright © 2023

The University of Calgary, located in the heart of Southern Alberta, both acknowledges and pays tribute to the traditional territories of the peoples of Treaty 7, which include the Blackfoot Confederacy (comprised of the Siksika, the Piikani, and the Kainai First Nations), the Tsuut’ina First Nation, and the Stoney Nakoda (including Chiniki, Bearspaw, and Goodstoney First Nations). The City of Calgary is also home to the Métis Nation of Alberta (Districts 5 and 6).

The University of Calgary is situated on land Northwest of where the Bow River meets the Elbow River, a site traditionally known as Moh’kins’tsis to the Blackfoot, Wîchîspa to the Stoney Nakoda, and Guts’ists’i to the Tsuut’ina. On this land and in this place we strive to learn together, walk together, and grow together “in a good way.”