Design and Verification of Trusted Collective Adaptive Systems.

Alessandro Aldini

Published in: ACM Trans. Model. Comput. Simul. (2018)

Keyphrases

adaptive systems
case study
intelligent systems
design process
user interface
natural language processing
distributed systems
distributed environment
information filtering
functional verification