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

Xi Lin, Hehua Zhang, Ming Gu. OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. J. Applied Mathematics, 2013, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.