Search

Displaying 1 - 10 of 16 results.

Pages

  1. Detection of vacuously true properties
    By : Xu, Xiao[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  2. A framework for visualizing and manipulating structured execution graphs
    By : Nauw, Olivier[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  3. High availability for RoQ core components
    By : Van Melle, Benjamin[UCL] Directed by : Van Roy, Peter[UCL] D'Erman, Alexandre (2015) Ecole polytechnique de Louvain

  4. A study program verificator based on petri nets
    By : Colson, Olivier[UCL] Directed by : Lobelle, Marc[UCL] (2015) Ecole polytechnique de Louvain

  5. Implementing a virtual desktop infrastructure on the cloud
    By : Huberlant, Alexis[UCL] Directed by : Canini, Marco[UCL] Dupuis, Erin[UCL] (2015) Ecole polytechnique de Louvain

Pages