Перегляд Конференції по темі "mathematical modelling"
Зараз показуються 1-2 з 2
-
Hydrodynamic and geomechanical stability of dump territories of mining and electric power enterprises
(Видавництво НТУ ДП, 2020)Purpose. Substantiation the criteria of hydrodynamic and geomechanical stability of waste dumps and adjacent territories by results of comprehensive study of technogenic mode patterns. Methodology. The study was ... -
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
(2014)Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.