TY - CONF AU - Khoussi, Siham AU - Benmohamed, Lotfi AU - Battou, Abdella AU - Shi, Junxiao AU - Filliben, James AU - Bensalem, Saddek AU - Nouri, Ayoub 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 -