Шупикова, Антонина Аркадьевна

Доклад

• Шупикова А.А.^*, Казанский А.В.^**
  Верификация модели стримлет
  ^*IAPU DVO RAN (Владивосток), Россия
  ^**Институт автоматики и процессов управления ДВО РАН (Владивосток), Россия