Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Декабря 2024
Дробинцев П.Д.
()
Автор статей:
- Верификационная технология базовых протоколов для разработки и проектирования программного обеспечения Соавторы статьи: Баранов С.Н., Летичевский А.А., Котляров В.П.
- Применение интегрированной технологии тестирования и верификации к модели телефонной сети Соавторы статьи: Котляров В.П., Даишев М.Ш., Песков Д.В., Юсупов Ю.В.