Contribution à la formalisation d'invariants de modélisation pour l'optimisation des performances de durabilité des systèmes cyber-physiques

par Concetta Semeraro

Projet de thèse en Automatique, signal, productique, robotique

Sous la direction de Hervé Panetto.

Thèses en préparation à l'Université de Lorraine , dans le cadre de Informatique, Automatique, Electronique-Electrotechnique, Mathématiques , en partenariat avec Centre de Recherche en Automatique de Nancy (equipe de recherche) depuis le 03-05-2018 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.