• українська
    • English
    • русский
    • Deutsch
Institutional Digital Repository of National Aerospace University KHAI
  • English 
    • українська
    • English
    • русский
    • Deutsch
  • Login
Search 
  •   dKHAIIR Home
  • Факультет програмної інженерії та бізнесу (№ 6)
  • Search
  •   dKHAIIR Home
  • Факультет програмної інженерії та бізнесу (№ 6)
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов 

Конорев, Б.М.; Засуха, С.А.; Манжос, Ю.С.; Семенов, Л.П.; Сергиенко, В.В.; Харченко, В.С.; Чертков, Г.Н. (ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения (ПО) ...

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

AuthorЗасуха, С.А. (1)Конорев, Б.М. (1)
Манжос, Ю.С. (1)
Семенов, Л.П. (1)
Сергиенко, В.В. (1)
Харченко, В.С. (1)Чертков, Г.Н. (1)Subjectбезопасность (1)безпека (1)оценивание (1)оцінювання (1)программное обеспечение (1)програмне забезпечення (1)радиоэлектронные и компьютерные системы (1)
радіоелектронні і комп'ютерні системи (1)
статический анализ (1)статичний аналіз (1)... View MoreDate Issued2006 (1)Has File(s)Yes (1)

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV