1. semester

Institut for Datalogi › Studienævn for Datalogi › Computer Science (IT - International Track)

2. semester

Institut for Datalogi › Studienævn for Datalogi › Computer Science (IT - International Track)

3. semester

Institut for Datalogi › Studienævn for Datalogi › Computer Science (IT - International Track)

4. semester

Institut for Datalogi › Studienævn for Datalogi › Computer Science (IT - International Track)

  1. 2019
  2. JECDAR 0.2 - Model checking refinement relations for Timed I/O Automata

    Andrej Kiviriga, Napalys Klicius, Cristina Ioana Simionescu

    Computer Science (IT - International Track), (Kandidatuddannelse) 4. semester, 2019

    Studenteropgave: Master afgangsprojekt