Sign in

Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance.

Jon Haël BrenasMartin StreckerRachid EchahedArash Shaban-Nejad
Published in: IEEE Access (2018)
Keyphrases
  • graph transformation
  • model checking
  • database
  • data sets
  • case study
  • real time
  • genetic algorithm
  • computer vision
  • decision making
  • website