Вышел совместный отчет ИСП РАН и Morphbius Technologies
22.06.2004 г.
Совместный отчет ИСП РАН и Morphbius Technologies (Канада) был представлен в рабочую группу по стандартизации аудио-видео кодирования Министерства информационной индустрии КНР (AVS). Отчет посвящен применению формальных методов к тестированию реализаций управления цифровыми правами (Digital Rights Management, DRM) на соответствие стандартам AVS DRM. Отчет был представлен на 9-й встрече рабочей группы, проходившей 18–20 июня в Пекине (Китай).
(см. отчет и презентацию)
 
Copyright © 2014 Институт системного программирования Российской академии наук