
Bounded Retransmission in iUML-B State Machine: a Case Study
Publication year - 2017
Publication title -
proceedings of 2017 the 7th international workshop on computer science and engineering
Language(s) - Italian
Resource type - Conference proceedings
DOI - 10.18178/wcse.2017.06.200
Subject(s) - retransmission , bounded function , computer science , state (computer science) , algorithm , mathematics , computer network , network packet , mathematical analysis