TY  - RPRT
TI  - Performance Evaluation of the NDN Data Plane Using Statistical Model Checking
AU  - Siham Khoussi
AU  - Ayoub Nouri
AU  - Junxiao Shi
AU  - James Filliben
AU  - Lotfi Benmohamed
AU  - Abdella Battou
AU  - Saddek Bensalem
PY  - 2019
UR  - https://arxiv.org/abs/1905.01607
ID  - 1905.01607
ER  -