Formal verification of an improved sliding window protocol

D. Chkliaev, J.J.M. Hooman, E.P. Vink, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

57 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Formal verification of an improved sliding window protocol'. Samen vormen ze een unieke vingerafdruk.

Computer Science