共 50 条
- [22] Ontological Representation and Governance of Business Semantics in Compliant Service Networks EXPLORING SERVICES SCIENCE, IESS 2013, 2013, 143 : 155 - 169
- [23] Semantic Models for the Geological Mapping Process AI*IA 2017 ADVANCES IN ARTIFICIAL INTELLIGENCE, 2017, 10640 : 295 - 306
- [25] Formal Definition of the Term "Semantics" as a Foundation for Semantic Interoperability in the Industrial Internet of Things IFAC PAPERSONLINE, 2020, 53 (02): : 8276 - 8282
- [26] Interpreted synchronous extension of time Petri nets Definition, semantics and formal analysis DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2022, 32 (01): : 27 - 64
- [27] Formal Verification for VRM Requirement Models COMMUNICATIONS, SIGNAL PROCESSING, AND SYSTEMS, VOL. 1, 2022, 878 : 961 - 969
- [28] THE COMPUTATIONAL REPRESENTATION OF CONCEPTS IN FORMAL ONTOLOGIES Some General Considerations KEOD 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, 2010, : 396 - 403
- [29] Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 60 - 66
- [30] Formal Methods for Checking the Consistency of Biological Models ADVANCES IN SYSTEMS BIOLOGY, 2012, 736 : 461 - 475