Design and Verification of Trusted Collective Adaptive Systems

Alessandro Aldini. Design and Verification of Trusted Collective Adaptive Systems. ACM Trans. Model. Comput. Simul., 28(2), 2018. [doi]

Abstract

Abstract is missing.