Login / Signup
An ASYL/EFSM Description of the ISO Transport Protocol.
Mats Daniels
Hans A. Hansson
Published in:
PSTV (1984)
Keyphrases
</>
finite state machines
transport protocol
rate adaptation
end to end
real time
model checking