共 50 条
- [32] Formal Analysis of Problem Domain Workflows DATABASES AND INFORMATION SYSTEMS VII, 2013, 249 : 135 - 148
- [33] Quantitative Validation of Formal Domain Models 201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 17 - 24
- [34] A Formal Concept of Domain Pseudonymous Signatures INFORMATION SECURITY PRACTICE AND EXPERIENCE, ISPEC 2016, 2016, 10060 : 238 - 254
- [36] Scan matching in the hough domain 2005 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-4, 2005, : 2739 - 2744
- [37] Semantic matching for the medical domain SHARING DATA, INFORMATION AND KNOWLEDGE, PROCEEDINGS, 2008, 5071 : 198 - 202
- [39] Recoverability conditions for sluicing EMPIRICAL ISSUES IN FORMAL SYNTAX AND SEMANTICS, 1997, : 193 - 216