Domain Theory Verification Using Multi-agent Systems-agent
systems, which maximize efficiency and effectiveness in the
verification of a given fragment of a domain
Remote Verification of Digital Systems Projects using Cluster Computers and
computer-aided design
system for remote digital
systems verification that is one of the most time
Passport Verification System Development Via IOT EquipmentPassport
Verification System Development Via IOT Equipment
Software tool for speaker recognitionThe rapid development and widespread dissemination of information
systems and technical means
SAT based approaches to verification of logical descriptions with functional indeterminacyThe problem under consideration is to check
whether a given
system of incompletely specified
Верификация моделей процессов в динамических системах по методу model checking processes in complex dynamic
systems are considered in terms of their use in intelligent decision support
Программный модуль биометрической верификации software module for text-dependent speaker
verification by voice in access control and management
systems