共 50 条
- [1] Automated Verification of Customizable Middlebox Properties with Gravel [J]. PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION, 2020, : 221 - 239
- [4] Software tool used for automated design of customizable product [J]. MODERN TECHNOLOGIES IN MANUFACTURING (MTEM 2017 - AMATUC), 2017, 137
- [5] A Customizable Approach for the Automated Quality Assessment of Modelling Artefacts [J]. PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2016, : 88 - 93
- [7] An automated method for generating customizable cages using barycentric coordinates [J]. ANNALES MATHEMATICAE ET INFORMATICAE, 2018, 49 : 167 - 180
- [9] CONTAINERIZATION - APPRAISAL [J]. INTERNATIONAL JOURNAL OF PHYSICAL DISTRIBUTION, 1975, 5 (03): : 165 - 175