Search by keyword: "test assignment"
Verification of Knowledge Obtained in the Study of Business Process Models
Authors: Devyatkov V.V., Kadyrbaeva A.R. | Published: 20.12.2020 |
Published in issue: #4(133)/2020 | |
DOI: 10.18698/0236-3933-2020-4-99-113 | |
Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
Keywords: knowledge verification, test assignment, modal logic, logic programming language Prolog |