共 50 条
- [1] Experimental Biological Protocols with Formal Semantics [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2018), 2018, 11095 : 165 - 182
- [2] A formal abstract semantics for data specifications [J]. 15TH INTERNATIONAL CONGRESS ON CYBERNETICS, PROCEEDINGS, 1999, : 983 - 988
- [4] An authorization model and its formal semantics [J]. COMPUTER SECURITY - ESORICS 98, 1998, 1485 : 127 - 142
- [6] A FORMAL SEMANTICS FOR THE ODP COMPUTATIONAL MODEL [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (08): : 1305 - 1329
- [10] Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics [J]. FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 49 - +