Accessibility Tools
Skip to Content
Accessibility
Text Size:
N/A
Breadcrumb
Concordia Home
Hardware Verification Group Home
Search
HVG
All of Concordia
Staff & Faculty Directory
Search Query
Main Menu
Research
Publications
People
Alumni
Laboratories
Partners
Events
Honours
Research
Frameworks
Applications
Related Links
Hardware Verification Group Home
>
Research
>
Applications
Reliability Analysis of Smart Grids using Theorem Proving
PCI-X Standard Bus
IEEE 802.11a OFDM
IEEE 754 Floating-Point
LA-1 Look Aside Interface
Enclaves Security Protocols
PIC 16C71 Microcontroller
ATM Switches
RCMP Switch Egress
SCI-PHY Protocol
SONET Protocol
Concordia University
