Login / Signup
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review.
Faten Fakhfakh
Mohamed Tounsi
Mohamed Mosbah
Ahmed Hadj Kacem
Published in:
KES (2018)
Keyphrases
</>
literature review
formal verification
learning algorithm
data sets
case study
orders of magnitude
data mining techniques