C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Model Checking Method for SPA Page Transition Based on Component-based Framework.
Naito Oshima
Tomoji Kishi
Published in:
SEKE (2018)
Keyphrases
</>
model checking
verification method
abstract interpretation
knowledge base
np hard
dynamic programming
software engineering
knowledge based systems