Knowledge Tree

researcher / Bruno d' Ausbourg

Bruno d' Ausbourg

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Contribution à la validation formelle d'applications interactives Java

Apport des techniques d'abstraction pour la vérification des interfaces homme-machine

Modélisation et validation d'interface homme-machine

Pour une protection efficace des données et des traitements dans les systèmes informatiques répartis