Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker Academic Article uri icon

publication date

  • January 1, 2016