Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C.

Allan Blanchard Nikolai Kosmatov Frédéric Loulergue

Published in: NFM (2018)

Keyphrases

information retrieval
cooperative
data sets
data mining
social networks
case study
search algorithm
medical images