Труды Института системного программирования РАН. Том 18....

Труды Института системного программирования РАН. Том 18. 2010 г.

Под редакцией академика РАН В.П. Иванникова
0 / 0
0 comments
この本はいかがでしたか？
ファイルの質はいかがですか？
質を評価するには、本をダウンロードしてください。
ダウンロードしたファイルの質はいかがでしたか？
В восемнадцатом томе Трудов института системного программирования РАН публикуются 9 статей сотрудников Института, посвященных различным аспектам тестирования программных и аппаратных средств на основе формальных спецификаций, методам виртуализации и моделирования.
カテゴリー:
Computers - Programming
年:
2010
出版社:
ИСП РАН
言語:
russian
ページ:
128
ファイル:
PDF, 4.58 MB
IPFS:
CID , CID Blake2b
russian, 2010
ダウンロード (pdf, 4.58 MB)
  • Checking other formats...
  • 変換されたファイルはオリジナルファイルと違う可能性があります。オリジナル形式のファイルのダウンロードをおすすめします。
への変換進行中。
への変換が失敗しました。

主要なフレーズ

 
инструкции
реализации
тестирования
системы
данных
инструкций
спецификации
основе
тестовых
переходов
выполнения
безопасности
трассы
тестов
перехода
модели
состояние
моделей
состояния
ipsec
сообщения
компонентов
тестового
теста
вызова
системного
состоянии
задач
требований
построения
рис
метод
false
памяти
реализация
протокола
поведения
состояний
программ
помощью
ситуаций
тестирование
шаблонов
анализа
управления
число
кода
требования
микропроцессора
параметров
выполнение
данные
работе
сообщений
верификации
метода
позволяет
каждого
модель
обработки

関連ブックリスト