共 50 条
- [31] A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 133 - 141
- [32] A Markov Chain Based Framework for Analysis of Hierarchical Fog Computing Networks INFORMATION SCIENCE AND APPLICATIONS, 2020, 621 : 41 - 52
- [36] An abstract interpretation-based framework for software watermarking Conf Rec Annu ACM Symp Princ Program Lang, (173-185):
- [37] FPGA Implementation of Saliency Based Secured Watermarking Framework 2016 INTERNATIONAL CONFERENCE ON INTELLIGENT CONTROL POWER AND INSTRUMENTATION (ICICPI), 2016, : 273 - 277