Отображение 1 - 1 результаты of 1 для поиска 'Robinson-Mallett, Christopher', время запроса: 0.01сек. Отмена результатов
  1. 1

    Generating optimal distinguishing sequences with a model checker. по Robinson-Mallett, Christopher

    Опубликовано в: Software engineering notes.
    Статья

    Generating optimal distinguishing sequences with a model checker.

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