Вы здесь

Главная

протокол связи

Связанные издания:

Deductive Verification of the Classical Sliding Window Protocol
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 2012