Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
security properties
УДК 004.05
2
1
HTTP attacks
1
UDC 004.05
1
UDC004.05
1
algebraic approach
1
algebraic matching
1
attack detection
1
attack formalization
1
behavior algebra
1
cyber security
1
formal verification
1
insertion modeling
1
modeldriven development
1
smart home
1
supply chain
1
алгебра поведінок
1
властивості безпеки
1
ланцюжок постачання
1
модельно-орієнтовані розробки
1
формальна верифікація
1
інсерційне моделювання
1
-
1
-
2