TY - CONF AU - Siham Khoussi AU - Lotfi Benmohamed AU - Abdella Battou AU - Junxiao Shi AU - James Filliben AU - Saddek Bensalem AU - Ayoub Nouri C2 - International Symposium on Automated Technology for Verification and Analysis, Taipei, TW DA - 2021-07-19 04:07:00 LA - en PB - International Symposium on Automated Technology for Verification and Analysis, Taipei, TW PY - 2021 TI - Performance Evaluation of the NDN Data Plane Using Statistical Model Checking UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=928340 ER -