Specification-Based Design of Self-Stabilization.

Murat Demirbas Anish Arora

Published in: IEEE Trans. Parallel Distributed Syst. (2016)

Keyphrases

formal verification
machine learning
computer vision
information systems
design methodology
real world
data mining
artificial intelligence
case study
user experience