Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Philippe Dhaussy
Philippe Dhaussy
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Un modele de programmation des controleurs globaux
Directed Thesis:
Fédération de modèles pour l’analyse de cybersécurité du point de vue d’un attaquant
EMI - Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués
Aide au diagnostic de vérification formelle de systèmes
Validation formelle d'implantation de patrons de sécurité
Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques