Displaying 7 results.
-
Génération de feedback enrichis pour la plateforme INGInious(2015) Ecole polytechnique de Louvain
-
A framework for visualizing and manipulating structured execution graphs(2015) Ecole polytechnique de Louvain
-
Specification and verification of a railway level crossing(2020) Ecole polytechnique de Louvain
-
Systematics validation of a software hardening framework(2015) Ecole polytechnique de Louvain
-
Implementing temporal logic queries with PyNuSMV(2015) Ecole polytechnique de Louvain
-
Customizable vocal personal assistant(2017) Ecole polytechnique de Louvain
-
Prédiction du rendement des crypto-monnaies à l'aide de réseaux LSTM améliorés(2023) Ecole polytechnique de Louvain