Search
Now showing items 1-2 of 2
Гарантоздатність комп'ютерних систем: проблеми і результати
(ХАИ, 2005)
Аналізуються проблеми гарантоздатності комп’ютерних систем, пов’язані із комплексним забезпеченням надійності та безпечності (аварійної – safety та інформаційної – security). Надається огляд основних задач, теоретичних і ...
Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия
(ХАИ, 2007)
Изложен опыт разработки и использования стандарта предприятия СТП 522-120-2004, содержащего требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники. Проведен ...