Validation of MQTT - Project 1

Cancelado Publicado Dec 9, 2015 Pagado a la entrega

$250-750 USD

Pagado a la entrega

Cancelado Pagado a la entrega

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.

Ingeniería MQTT Administración de redes PHP Desarrollo de software

Nº del proyecto: #9085948

Sobre el proyecto

1 propuesta Proyecto remoto Activo Dec 10, 2015

¿Quieres ganar algo de dinero?

Beneficios de ofertar en Freelancer

Establece tu presupuesto y plazo
Cobra por tu trabajo
Describe tu propuesta
Registrarse y ofertar en los trabajos es gratis

1 freelancer está ofertando el promedio de $631 para este trabajo

Foto de perfil de mervf
mervf

I have read over your project description and I'm interested in completing your task. If you check my site or portfolio you will see that I am of a higher quality than most freelancers on here. I get it done quickly, e Más

$631 USD en 10 días
(10 comentarios)
2.6
Foto de perfil de writersdomain01
writersdomain01

A proposal has not yet been provided

$526 USD en 10 días
(0 comentarios)
0.0
Publicar un proyecto como este