Model Checking Method for SPA Page Transition Based on Component-based Framework

Naito Oshima, Tomoji Kishi. Model Checking Method for SPA Page Transition Based on Component-based Framework. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 675-674, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]

Authors

Naito Oshima

This author has not been identified. Look up 'Naito Oshima' in Google

Tomoji Kishi

This author has not been identified. Look up 'Tomoji Kishi' in Google