Вы здесь

Главная

sliding window protocol

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

Affine Model Checking Multi-agent Sliding Window Protocol
Deductive Verification of the Classical Sliding Window Protocol
Specification and verification of the classical sliding window protocol