Контент с Докладчики Манжос Ю.С. .

КриКТехС 2004-2

Очередное заседание семинара состоится 23 апреля 2004 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы проектирования и независимой верификации критического ПО. Доклады: Семантический метод независимой верификации ПО систем критического применения (Манжос Ю.С.); Многоверсионное проектирование критического ПО: модели жизненного цикла и метрики...

КриКТехС 2002-4

Очередное заседание семинара состоится 26 апреля 2002 г. Тема заседания: Методы контроля и обеспечения отказоустойчивости программных и аппаратных средств бортовых вычислительных систем. Доклады: Методы семантического контроля программного обеспечения бортовых ЦВК (Манжос Ю.С.); Проблемы разработки отказоустойчивых БЦВК с использованием электронных компонент...

Навигация по категориям

Докладчики