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

5206c19df417b8876825b5561344c1a0?s=47 Exactpro
March 03, 2018
Education
1
150

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

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

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

TMPA School 2018, Саратов

5206c19df417b8876825b5561344c1a0?s=128

Exactpro

March 03, 2018
Tweet

Want more?

5206c19df417b8876825b5561344c1a0?s=48 Apr 26, 2018
0
130
Dafc4723e9a1c067796c0fec6f509774?s=48 Jun 7, 2018
22
2.1k
F383c6a4dc55e331bbe2987b622cee6b?s=48 Jun 8, 2018
10
1.6k