| dc.contributor.author | Манжос, Ю.С. | |
| dc.date.accessioned | 2022-07-22T10:07:02Z | |
| dc.date.available | 2022-07-22T10:07:02Z | |
| dc.date.issued | 2004 | |
| dc.identifier.citation | Манжос, Ю. С. Оценка эффективности независимой верификации программного обеспечения / Ю. С. Манжос // Авиационно-космическая техника и технология. – Харьков : ХАИ, 2004. – № 7(15). – С. 210–214. | uk_UA |
| dc.identifier.issn | 1727-7337 | |
| dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/1267 | |
| dc.description.abstract | Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки функциональности. | uk_UA |
| dc.description.abstract | Викладається методика оцінки ефективності незалежної верифікації ПЗ інформаційно-керуючих систем критичного застосування на основі статичного аналізу вихідних кодів з використанням семантичного методу оцінки функціональності. | uk_UA |
| dc.language.iso | ru | uk_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.type | Article | uk_UA |
