ملخص البحث :
In this paper, we construct a logical-algebraic model that covers all the parameters and operations of the risk process and create Specification of risk assessment processes based on logical-algebraic formalism-sets, matches, relations, tuples, predicates, and Specification tools to automate the process of risk assessment.
-
سنة النشر : 2019
-
تصنيف البحث : scopus
- تحميل