Search
 
   

3 results for "domain:tel.archives-ouvertes.fr"

  1. 4
    Formal Specification and Verification of Interactive Systems with Plasticity for Nuclear Plants ☶ compsci formalmethods programming tel.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 3 comments
  2. 2
    Certification of an Instruction Set Simulator [for ARM] (2017) ☶ assembly c++ formalmethods hardware tel.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  3. 3
    Model-based Testing of Operating System-Level Security Mechanisms (2016) ☶ c formalmethods security testing tel.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments