Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Antakly, Dimitri"'
Publikováno v:
In IFAC PapersOnLine July 2017 50(1):11169-11174
Autor:
Antakly, Dimitri
Publikováno v:
Machine Learning [cs.LG]. Université de Nantes (UN), FRA., 2020. English
The main objective of this thesisis to combine the advantages of probabilisticgraphical model learning and formal verifica-tion in order to build a novel strategy for secu-rity assessments. The second objective is toassess the security of a given sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a465fc5eabfab04bb279e14d7fafa3ab
https://hal.archives-ouvertes.fr/tel-02891862/document
https://hal.archives-ouvertes.fr/tel-02891862/document
