Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2016, Article ID 2458369, 3 pages

Modeling, Optimization, and Verification for Complex Systems

1School of Software, Tsinghua University, Beijing 100084, China
2Department of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USA
3Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China
4School of Computer Science, University of Oklahoma, 200 Felgar Street, Room 114, Norman, OK 73019, USA
5Verimag, Université Grenoble Alpes, France
6School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, Sichuan 611731, China

Received 28 December 2015; Accepted 28 December 2015

Copyright © 2016 Guiming Luo et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


This article has no abstract.