Suggested Topics within your search.
Suggested Topics within your search.
IPCL
2
composition-nominative languages
2
concurrent program
2
formal verification
2
interleaving
2
safety property proof
2
software correctness
2
доказательство частичной корректности
2
композиционно-номинативные языки
2
композиційно-номінативні мови
2
коректність програмного забезпечення
2
корректность программного обеспечения
2
параллельная программа
2
формальна верифікація
2
формальная верификация
2
681.3
1
UDC 004.415
1
UDC 004.415.52
1
dimensionless safety margin
1
invariant
1
limiting value of safety deficit
1
management of safety margins
1
safety deficit
1
safety profile
1
УДК 004.415
1
УДК 004.415.52
1
безрозмірне значення запасу безпеки
1
граничне значення дефіциту безпеки
1
дефіцит безпеки
1
доведення часткової коректності
1
-
1
-
2by Громов, Г.В., Дыбач, А.М., Инюшев, В.В., Носовский, А.В., Шоломицкий, С.Э., Гашев, М.Х., Миколайчук, Е.А., Зеленый, О.В.Get full text
Published in Ядерна та радіаційна безпека (2013)
Article -
3
-
4