Formal Methods for Industrial Software Systems
7,5 credits, course, master's level, D7063E
Application period starts 2025-03-17
For Programme students
LTU-27793
Application period starts 2025-03-17
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 45 2025 - v. 3 2026, no module, LuleåNormal teachingDay-time 50%Autumn 2025
Optional course within programmes. Can be applied for within the optional space of a programme.
Application for Freestanding course (En)
LTU-27793
Application period starts 2025-03-17
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 45 2025 - v. 3 2026, no module, LuleåNormal teachingDay-time 50%Autumn 2025
Only a few freestanding places are available. This course is part of a programme.
Application for Exchange students at LTU
LTU-27793
Application period starts 2025-03-17
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 45 2025 - v. 3 2026, no module, LuleåNormal teachingDay-time 50%Autumn 2025
Course offered in English to prospective exchange student, nominated for exchange by home university.
7,5 credits, course, master's level, D7063E
Application period starts 2025-03-17
For Programme students
LTU-27793
Application period starts 2025-03-17
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 45 2025 - v. 3 2026, no module, LuleåNormal teachingDay-time 50%Autumn 2025
Optional course within programmes. Can be applied for within the optional space of a programme.
Application for Freestanding course (En)
LTU-27793
Application period starts 2025-03-17
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 45 2025 - v. 3 2026, no module, LuleåNormal teachingDay-time 50%Autumn 2025
Only a few freestanding places are available. This course is part of a programme.
Application for Exchange students at LTU
LTU-27793
Application period starts 2025-03-17
Formal Methods for Industrial Software Systems
Period 2 - 2, v. 45 2025 - v. 3 2026, no module, LuleåNormal teachingDay-time 50%Autumn 2025
Course offered in English to prospective exchange student, nominated for exchange by home university.
Kontakt
Tatiana Liakh
- Senior Lecturer
- 0920-491698
- tatiana.liakh@ltu.se
- Tatiana Liakh
Updated: