Validation of MQTT Using Spin and Promela -- 3
Törölve
Kiadva:
Dec 9, 2015
Kiszállításkor fizetve
$250-750 USD
Kiszállításkor fizetve
Törölve
Kiszállításkor fizetve
Full validation of the MQTT Message Queue Telemetry Transport protocol. If sections can not be done in Promela then state reasons why (and if necessary propose approaches in Bogor or Loupe (an extension of Bogor) or C). Deliverables should be one or more pml files.
I will provide more details and file with design. Validation of MQTT using Spin and Promela.
Projektazonosító: #9085919
A projektről
Távolról teljesíthető projekt
Utoljára aktív: Dec 10, 2015