Show simple item record

dc.contributor.authorМанжос, Ю.С.
dc.date.accessioned2022-07-22T10:07:02Z
dc.date.available2022-07-22T10:07:02Z
dc.date.issued2004
dc.identifier.citationМанжос, Ю. С. Оценка эффективности независимой верификации программного обеспечения / Ю. С. Манжос // Авиационно-космическая техника и технология. – Харьков : ХАИ, 2004. – № 7(15). – С. 210–214.uk_UA
dc.identifier.issn1727-7337
dc.identifier.urihttp://dspace.library.khai.edu/xmlui/handle/123456789/1267
dc.description.abstractИзлагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки функциональности.uk_UA
dc.description.abstractВикладається методика оцінки ефективності незалежної верифікації ПЗ інформаційно-керуючих систем критичного застосування на основі статичного аналізу вихідних кодів з використанням семантичного методу оцінки функціональності.uk_UA
dc.language.isoruuk_UA
dc.publisherХАИuk_UA
dc.subjectавиационно-космическая техника и технологияuk_UA
dc.subjectинформационно-управляющая системаuk_UA
dc.subjectбезопасностьuk_UA
dc.subjectнезависимая верификацияuk_UA
dc.subjectоперационный спектрuk_UA
dc.subjectсемантический контрольuk_UA
dc.subjectсемантическое пространствоuk_UA
dc.subjectсемантический спектрuk_UA
dc.subjectавіаційно-космічна техніка і технологіяuk_UA
dc.subjectінформаційно-керуюча системаuk_UA
dc.subjectбезпекаuk_UA
dc.subjectнезалежна верифікаціяuk_UA
dc.subjectопераційний спектрuk_UA
dc.subjectсемантичний контрольuk_UA
dc.subjectсемантичний простірuk_UA
dc.subjectсемантичний спектрuk_UA
dc.titleОценка эффективности независимой верификации программного обеспеченияuk_UA
dc.typeArticleuk_UA


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record