A Lesson on Verification of IoT Software with Frama-C - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. A Lesson on Verification of IoT Software with Frama-C. In 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018. pages 21-30, IEEE, 2018. [doi]

This author has not been identified. Look up 'Allan Blanchard' in GoogleThis author has not been identified. Look up 'Nikolai Kosmatov' in GoogleThis author has not been identified. Look up 'Frédéric Loulergue' in Google

runs on WebDSL