Knowledge Tree

researcher / Nikolaos Kekatos

Nikolaos Kekatos

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle