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