共 50 条
- [41] Formalization and Verification of PaxosStore from Process Algebra Perspective ELECTRONICS, 2025, 14 (05):
- [43] Fear Appeals and Persuasion: A Review and Update of the Extended Parallel Process Model SOCIAL AND PERSONALITY PSYCHOLOGY COMPASS, 2011, 5 (04): : 206 - 219
- [45] FORMALIZATION OF LOGICAL PROBLEMS AS MODEL-INTERSECTION PROBLEMS ON AN EXTENDED CLAUSE SPACE INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2021, 17 (04): : 1103 - 1117
- [46] On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors FORMALIZED MATHEMATICS, 2023, 31 (01): : 53 - 57
- [47] Formalization and analysis of the REST architecture from the process algebra perspective FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2016, 56 : 153 - 168
- [48] Formalization of the Responsive and Formal Design Process using Category Theory 12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 86 - 93
- [50] The formalization of the MEMS automated design process by usage of Petri Networks Perspective Technologies and Methods in MEMS Design, 2007, : 133 - 134