Login / Signup
Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems".
Maurice H. ter Beek
Published in:
ACM Trans. Model. Comput. Simul. (2018)
Keyphrases
</>
adaptive systems
design process
learning systems
recommender systems
model checking
data replication
functional verification