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

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

Bibliographic Details
Main Author: Ammar, Marwan
Format: Others
Published: 2011
Online Access:http://spectrum.library.concordia.ca/35891/1/Ammar_MSc_F2011.pdf
Ammar, Marwan <http://spectrum.library.concordia.ca/view/creators/Ammar=3AMarwan=3A=3A.html> (2011) Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker. Masters thesis, Concordia University.

Internet

http://spectrum.library.concordia.ca/35891/1/Ammar_MSc_F2011.pdf
Ammar, Marwan <http://spectrum.library.concordia.ca/view/creators/Ammar=3AMarwan=3A=3A.html> (2011) Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker. Masters thesis, Concordia University.

Similar Items