Login / Signup
Towards Formal Verification of Contiki: Analysis of the AES-CCM* Modules with Frama-C.
Alexandre Peyrard
Nikolai Kosmatov
Simon Duquennoy
Inria Lille
Shahid Raza
Published in:
EWSN (2018)
Keyphrases
</>
formal verification
statistical analysis
image analysis
neural network
data analysis