共 50 条
- [41] Parity check matrix for hamming code 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2003, : 41 - 42
- [43] DR Code: The Two Dimensions Barcode supporting high rate data recovery 2013 IEEE 16TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2013), 2013, : 1214 - 1218
- [44] Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 275 - 291
- [45] Code design and decoder implementation of low density parity check code 2005 EMERGING INFORMATION TECHNOLOGY CONFERENCE (EITC), 2005, : 167 - 169
- [46] A duplicate code checking algorithm for the programming experiment 2015 Second International Conference on Mathematics and Computers in Sciences and in Industry (MCSI), 2015, : 39 - 42
- [47] Automated code compliance checking for building inspection COMPUTING IN CIVIL ENGINEERING, 1996, : 1020 - 1026
- [48] Property Templates for Checking Source Code Security MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 88 - 91
- [50] Checking security compliance between models and code SOFTWARE AND SYSTEMS MODELING, 2023, 22 (01): : 273 - 296