Model Checking Time Triggered CAN Protocols
2011 master's thesis by Daniel Keating at University of Canterbury
Press Enter · cited answer in seconds
0 sources
Model Checking Time Triggered CAN Protocols
Summary
Model Checking Time Triggered CAN Protocols is a master's thesis[1].
Key Facts
- Model Checking Time Triggered CAN Protocols's instance of is recorded as master's thesis[2].
- Model Checking Time Triggered CAN Protocols was published by UC Research Repository[3].
- Model Checking Time Triggered CAN Protocols's language of work or name is recorded as English[4].
- Model Checking Time Triggered CAN Protocols's country of origin is recorded as New Zealand[5].
- Model Checking Time Triggered CAN Protocols was released on 2011[6].
- Model Checking Time Triggered CAN Protocols's main subject is model checking[7].
- Model Checking Time Triggered CAN Protocols's main subject is CAN bus[8].
- Model Checking Time Triggered CAN Protocols's work available at URL is recorded as https://ir.canterbury.ac.nz/handle/10092/5754[9].
- Model Checking Time Triggered CAN Protocols's title is recorded as Model Checking Time Triggered CAN Protocols[10].
- Model Checking Time Triggered CAN Protocols's author name string is recorded as Daniel Keating[11].
- Model Checking Time Triggered CAN Protocols's thesis submitted to is recorded as University of Canterbury[12].
- Model Checking Time Triggered CAN Protocols's on focus list of Wikimedia project is recorded as NZThesisProject[13].
- Model Checking Time Triggered CAN Protocols's copyright status is recorded as copyrighted[14].
- Model Checking Time Triggered CAN Protocols's online access status is recorded as open access[15].
- Model Checking Time Triggered CAN Protocols's thesis committee member is recorded as Allan McInnes[16].
- Model Checking Time Triggered CAN Protocols's thesis submitted for degree is recorded as Master of Engineering[17].
Body
Designation and Status
Model Checking Time Triggered CAN Protocols's instance of is recorded as master's thesis[2].