Mahboobeh Abdoos • Hassan Taheri • Ali Taei Zadeh
Keywords: Industrial Internet of Things (IIoT) • Ad Hoc Network • Dew_Edge_Cloud (‘DEC’) Computation
Fatemeh Ghassemi
Keywords: Model checking • Ad hoc networks • Topology-dependent property • State-space explosion
Fatemeh Ghassemi • Ali Movaghar
Keywords: Ad hoc Network Algebra • Restricted Broadcast • Topology Changes