Integration of modeling and verification for system model based on KARMA language. | 0 | 0.34 | 2021 |
The Industrial Ontologies Foundry (IOF) Perspectives. | 0 | 0.34 | 2020 |
A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology. | 0 | 0.34 | 2019 |