Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking

• Autores: Shahabuddin Muhammad, Nazeeruddin Mohammad
• Localización: Journal of intelligent & robotic systems: Theory & applications, ISSN 0921-0296, Vol. 94, Nº. 3-4, 2019, págs. 687-709
• Idioma: inglés
• Texto completo no disponible (Saber más ...)