20141024DA Исполняемые модели для комплексной отладки ПО авиационных систем

http://0x1.tv/20141024DA Применение исполняемых моделей для комплексной отладки ПО информационно-управляющих систем авиационного применения (Вадим Шишкин, SECR-2014)