A Framework for Certified Self-Stabilization.

Karine Altisen Pierre Corbineau Stéphane Devismes

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

main contribution
framework enables
artificial intelligence
lightweight
database
information retrieval
information systems
decision making
object recognition
information technology
bayesian framework