@PHDTHESIS{schne2019,
url = "http://www.theses.fr/2019LORR0088",
title = "Orchestration et vérification de fonctions de sécurité pour des environnements intelligents",
author = "Schnepf, Nicolas",
year = "2019",
note = "Thèse de doctorat dirigée par Merz, Stephan et Badonnel, Rémi Informatique Université de Lorraine 2019",
note = "2019LORR0088",
url = "http://www.theses.fr/2019LORR0088/document",
}