C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking.
Siham Khoussi
Ayoub Nouri
Junxiao Shi
James Filliben
Lotfi Benmohamed
Abdella Battou
Saddek Bensalem
Published in:
ATVA (2019)
Keyphrases
</>
model checking
temporal logic
satisfiability problem
finite state