Login / Signup

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

Xi LinHehua ZhangMing Gu
Published in: J. Appl. Math. (2013)
Keyphrases