TMPA School 2018 - Александр Камкин - Верификация компьютерных протоколов с помощью SPIN

5206c19df417b8876825b5561344c1a0?s=47 Exactpro
March 03, 2018

TMPA School 2018 - Александр Камкин - Верификация компьютерных протоколов с помощью SPIN

Александр Камкин, Ведущий научный сотрудник, кандидат физико-математических наук, ИСП РАН

Верификация компьютерных протоколов с помощью SPIN (spinroot.com)

TMPA School 2018, Саратов

5206c19df417b8876825b5561344c1a0?s=128

Exactpro

March 03, 2018
Tweet