Report copyright - Model Checking the EAPNOOB Protocol• Modelled with mCRL2 (micro Common Representation Language 2) • Goals of model checking: Protocol simulation and visualisation Debugging the
Please pass captcha verification before submit form
Please pass captcha verification before submit form