Verification of Link Performance Prediction for CDMA.

Michal Panek Przemyslaw Czerepinski

Published in: VTC Spring (2012)

Keyphrases

prediction accuracy
prediction model
prediction algorithm
model checking
prediction error
base station
signature verification
formal verification
case study
short term
end to end
predictive model
formal methods