время верификации

Terms containing время верификации | all forms | in specified order only

Subject	Russian	English
progr.	Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели	Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	большая часть исследований по верификации с непрерывным временем	most of the research on continuous-time model checking (ssn)
progr.	верификация во время выполнения	run-time verification (Alex_Odeychuk)
softw.	формальная верификация во время компиляции	compile-time verification (Alex_Odeychuk)
progr.	верификация с непрерывным временем	continuous-time model checking (моделей ssn)
sec.sys.	время верификации	verification time (от момента предъявления идентификатора до его признания или непризнания)