Khoussi, S.
, Benmohamed, L.
, Battou, A.
, Shi, J.
, Filliben, J.
, Bensalem, S.
and Nouri, A.
(2021),
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking, International Symposium on Automated Technology for Verification and Analysis, Taipei, TW, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=928340
(Accessed October 3, 2024)