DTU.dk
Departments and Centers
Departments and Centres
DTU Aqua
DTU Bioengineering
DTU Biosustain
DTU Chemical Engineering
DTU Chemistry
DTU Civil Engineering
DTU Compute
DTU Electrical Engineering
DTU Energy
DTU Engineering Technology
DTU Entrepreneurship
DTU Environment
DTU National Food Institute
DTU Electro
DTU Health Tech
DTU Management
DTU Mechanical Engineering
DTU Nanolab
DTU Physics
DTU Skylab
DTU Space
DTU Wind and Energy Systems
Research groups
Research groups
Shortcuts
Phonebook
Directions/map
Supplier information (CVR and EAN)
Course base
Job and Career
DTU Alumni
DTU Inside
(intranet)
Webshop
DTU Library
DTU Orbit (Research database)
Contact
Dansk
DTU Compute
Persons
Publications
Projects
Teaching
PhD
Research
Continuing Education
Cooperation
Employees
About us
Front page
Research
Research sections
Formal Methods
Courses
Front page
Research
Research sections
Formal Methods
Courses
Algorithms, Logic and Graphs
Cognitive Systems
Cybersecurity Engineering
Dynamical Systems
Embedded Systems Engineering
Mathematics
Scientific Computing
Software Systems Engineering
Statistics and Data Analysis
Visual Computing
Courses
The following courses are partially or fully offered by the section:
Course no.
Title
Points (ECTS)
Timetable group
02141
Datalogisk modellering
10
F3A, F4B
02148
Introduktion til koordinering af fordelte applikationer
5
January
02239
Datasikkerhed
7.5
E5B
02242
Programanalyse
7.5
E2A
02244
Logik for sikkerhed
7.5
F2A
02246
Model tjek
7.5
E4A
02247
Oversætterkonstruktion
5
F2B
02332
Compilerteknik
5
E4A
02393
Programmering i C++
5
E7
02913
Avancerede Analyseteknikker
5
June