Knowledge Tree

researcher / David Nowak

David Nowak

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Spécification et preuve de systèmes réactifs

Directed Thesis:

Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation