共 50 条
- [41] Semantic Interoperability in Standardized Electronic Health Record Databases ACM JOURNAL OF DATA AND INFORMATION QUALITY, 2012, 3 (01): : 1 - 37
- [42] Reactive Imperative Programming with Dataflow Constraints ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 37 (01):
- [45] Modular refinement of hierarchic reactive machines ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 26 (02): : 339 - 369
- [48] Design and Implementation of a Strong Representation System for Network Policies 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022), 2022,