About this Journal Submit a Manuscript Table of Contents

Intelligent Modeling and Verification

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