Ammar, Marwan (2011) Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker. Masters thesis, Concordia University.
Ammar_MSc_F2011.pdf - Accepted Version
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering|
|Item Type:||Thesis (Masters)|
|Degree Name:||M.A. Sc.|
|Program:||Electrical and Computer Engineering|
|Date:||19 September 2011|
|Thesis Supervisor(s):||Ait-Mohamed, Otmane|
|Deposited By:||MARWAN AMMAR|
|Deposited On:||17 Nov 2011 18:37|
|Last Modified:||05 Nov 2016 01:39|
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