Login / Signup
Systematic Correct Construction of Self-stabilizing Systems: A Case Study.
Ananda Basu
Borzoo Bonakdarpour
Marius Bozga
Joseph Sifakis
Published in:
SSS (2010)
Keyphrases
</>
data mining
artificial neural networks
retrieval systems
data sets
information retrieval
case study
wide range
search algorithm
management system
data management
qualitative and quantitative
test bed