vix.ing · top · new · best · stats · spec

Frédéric Jouault

  1. Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system
    2024/08/16 by Maxime Méré, Frédéric Jouault, Loïc Pallardy +1 · 1 voice · 1 citation
    Computer Science · Engineering · #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Security and Verification in Computing