Verification of channel reciprocity implementation in software defined radios.
Merve UsluHalim Bahadir TugrelGunes Karabulut KurtBerna ÖzbekPublished in: SIU (2016)
Keyphrases
- hardware design
- face verification
- cluster of workstations
- source code
- software architecture
- aspect oriented
- software implementation
- multi channel
- industrial strength
- dedicated hardware
- formal methods
- software design
- real time
- software tools
- software projects
- embedded systems
- model checking
- software systems
- information systems