Ontological Approach for Question Generation and Knowledge Control and automatic
verification of answers have become one of the main functions of the intelligent tutoring
systems Верификация прикладного программного обеспечения УСБ АЭС посредством САПР GET-R1Селиверстов, Е. С.,
Галицын, Ю. С.,
Иванова, А. А.,
Seliverstov, E. S.,
Galitsyn, Y. S.,
Ivanova, A. A. Verification of NPP safety control
system application software using GET-R1 CAD
An automated approach to checking user knowledge levels in intelligent tutoring systems knowledge in new generation intelligent tutoring
systems. A semanticbased approach to automating the entire
Программные средства текстозависимой верификации диктора по голосу.One of the biometric
systems — text-dependent speaker
verification is described. The method
for the speaker
Correctness of Control Systems with Concurrenсy BehaviorThe discussed problem is to verify whether a reactive control
system design with concurrency