Showing 1 - 6 results of 6 for search '"Model-checking"', query time: 1.22s Refine Results
  1. 1
    Formal fault injection vulnerability detection in binaries : a software process and hardware validation
    by Jafri, Nisrine
    Published 2019
    Subjects: “...Model checking...”
    Get full text
  2. 2
    Controlling information in probalistic systems
    by Lefaucheux, Engel
    Published 2018
    Subjects: “...Model checking...”
    Get full text
  3. 3
    Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques
    by Fournier, Paulin
    Published 2015
    Subjects: “...Model checking...”
    Get full text
  4. 4
    Rare event simulation for statistical model checking
    by Jegourel, Cyrille
    Published 2014
    Subjects: “...Model Checking statistique...”
    Get full text
  5. 5
    Assisted design and analysis of attack trees
    by Audinot, Maxime
    Published 2018
    Subjects: “...Model checking...”
    Get full text
  6. 6
    Analyse of real-time systems from scheduling perspective
    by Chadli, Mounir
    Published 2018
    Subjects: “...Model checking...”
    Get full text
Search Tools: Get RSS Feed — Email this Search