共 6 条
- [2] LOGIC-SEMANTIC STRUCTURE OF TERMINOLOGY AND ITS FORMAL CHARACTERISTICS [J]. NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1987, (03): : 5 - 10
- [4] Formal representation of the logical structure of web sites, and its application to a multilingual web browser based on dialogue [J]. PROCESAMIENTO DEL LENGUAJE NATURAL, 2007, (38): : 17 - 26
- [5] Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache [J]. IEEE ACCESS, 2019, 7 : 74941 - 74960