Table of Contents Author Guidelines Submit a Manuscript

Intelligent Modeling and Verification

“Intelligent Modeling and Verification” is an annual special issue published in “Journal of Applied Mathematics.” The current issue is the 2014 issue, which is now closed for submissions.

Intelligent Modeling and Verification 2014

Guest Editors: Guiming Luo, Xiaoyu Song, Xiaojing Yang, and Krishnaiyan Thulasiraman

Intelligent Modeling and Verification 2013

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