Collaborative Computing.- IoT Networks and Services.- Classification.- Software Testing and Formal Verification.- Wireless and Testbed Application.- Uncertainty Analytics and Formal Verification.- Knowledge Graph.
"synopsis" may belong to another edition of this title.