Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
3 results for "domain:tel.archives-ouvertes.fr"
4
Formal Specification and Verification of Interactive Systems with Plasticity for Nuclear Plants
☶
compsci
formalmethods
programming
tel.archives-ouvertes.fr
via
nickpsecurity
4 months ago
|
cached
|
3 comments
3
2
Certification of an Instruction Set Simulator [for ARM] (2017)
☶
assembly
c++
formalmethods
hardware
tel.archives-ouvertes.fr
via
nickpsecurity
4 months ago
|
cached
|
no comments
0
3
Model-based Testing of Operating System-Level Security Mechanisms (2016)
☶
c
formalmethods
security
testing
tel.archives-ouvertes.fr
via
nickpsecurity
5 months ago
|
cached
|
no comments
0