About this Journal Submit a Manuscript Table of Contents

Intelligent Modeling and Verification

Guest Editors: Guiming Luo, Graziano Chesi, Xiaoyu Song, and Xiaojing Yang