Breadcrumb

 
 

Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker

Title:

Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker

Ammar, Marwan (2011) Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker. Masters thesis, Concordia University.

[img]
Preview
PDF - Accepted Version
2009Kb

Divisions:Concordia University > Faculty 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 13:37
Last Modified:17 Nov 2011 13:37
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

Document Downloads

More statistics for this item...

Concordia University - Footer