Ammar, Marwan (2011) Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker. Masters thesis, Concordia University.
Preview |
Text (application/pdf)
2MBAmmar_MSc_F2011.pdf - Accepted Version |
| Divisions: | Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering |
|---|---|
| Item Type: | Thesis (Masters) |
| Authors: | Ammar, Marwan |
| Institution: | Concordia University |
| Degree Name: | M.A. Sc. |
| Program: | Electrical and Computer Engineering |
| Date: | 19 September 2011 |
| Thesis Supervisor(s): | Ait-Mohamed, Otmane |
| ID Code: | 35891 |
| Deposited By: | MARWAN AMMAR |
| Deposited On: | 17 Nov 2011 18:37 |
| Last Modified: | 18 Jan 2018 17:35 |
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.
Repository Staff Only: item control page
Download Statistics
Download Statistics