Le co-design d'un noyau de système d'exploitation et de sa preuve formelle d'isolation. (The co-design of an operating system kernel and its formal proof of isolation) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Narjes Jomaa. Le co-design d'un noyau de système d'exploitation et de sa preuve formelle d'isolation. (The co-design of an operating system kernel and its formal proof of isolation). PhD thesis, University of Lille, France, 2018. [doi]

Abstract is missing.

runs on WebDSL