ALChecker: A Tool for Checking Mobile Ambients.

Xuansong Li Wei Song Haibo Ye

Published in: SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)

Keyphrases

mobile devices
mobile phone
evolutionary algorithm
autonomous mobile
machine learning
information systems
case study
database systems