Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking
Crossref DOI link: https://doi.org/10.1007/s10846-018-0901-x
Published Online: 2018-07-06
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Muhammad, Shahabuddin
Mohammad, Nazeeruddin
Bashar, Abul
Khan, Majid Ali
Text and Data Mining valid from 2018-07-06
Article History
Received: 15 June 2017
Accepted: 29 June 2018
First Online: 6 July 2018