Отображение 1 - 1 результаты of 1 для поиска 'YANGJun(杨军)', время запроса: 0.02сек. Отмена результатов
  1. 1
    A formal verification method: model checking(一种形式化验证方法：模型检验)

    A formal verification method: model checking(一种形式化验证方法：模型检验) по YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)

    Опубликовано 2006-07-01
    Полный текст
    Статья

Инструменты поиска: