Search

Displaying 5 results.

  1. Design and implementation of a web platform for running events
    By : Heraly, Michaël[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

  2. Computing minimal representations with binary decision diagrams
    By : Royers, Amaury[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

  3. Visualization of binary decision diagram
    By : Dollé, Xavier[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

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

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