Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2013, Article ID 934349, 11 pages
http://dx.doi.org/10.1155/2013/934349
Research Article

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Xi Lin,1,2,3 Hehua Zhang,1,3 and Ming Gu1,3

1School of Software, Tsinghua University, Beijing 100084, China
2Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
3Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, China

Received 8 February 2013; Accepted 21 March 2013

Academic Editor: Xiaoyu Song

Copyright © 2013 Xi Lin 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.

How to Cite this Article

Xi Lin, Hehua Zhang, and Ming Gu, “OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models,” Journal of Applied Mathematics, vol. 2013, Article ID 934349, 11 pages, 2013. https://doi.org/10.1155/2013/934349.