Search

Displaying 61 - 70 of 84 results.

Pages

  1. Modelling and analysing parliamentary law with Alloy
    By : Munyabarenzi, Clémentine Zaninka[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

  2. Adding SAT-based model checking to the PyNuSMV framework
    By : Gillard, Xavier[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

  3. Implementing temporal logic queries with PyNuSMV
    By : Thibert, Simon[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  4. INGInious for Kids
    By : Thuin, Florian[UCL] Directed by : Bonaventure, Olivier[UCL] (2017) Ecole polytechnique de Louvain

  5. Customizable vocal personal assistant
    By : De Bels, Tanguy[UCL] Directed by : Pecheur, Charles[UCL] (2017) Ecole polytechnique de Louvain

  6. Reconciling context-oriented programming and feature modeling
    By : Kühn, Alexandre[UCL] Directed by : Mens, Kim[UCL] (2017) Ecole polytechnique de Louvain

Pages