Functional verification and performance testing for OpenAirinterface (OAI) eNodeB.

Chih-Yuan Lo Yu-Wei Hua Wei-Chuan Yu Yu-Min Chuang

Published in: APSIPA (2017)

Keyphrases

functional verification
formal verification
metadata
digital libraries
test cases
image processing
model checking
efficient implementation