KIT - Karlsruher Institut für Technologie
Test, Validierung und Analyse Software-intensiver Systeme
Navigation überspringen
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
en
suchen
suchen
Forschung
Start
Forschung
Forschung
Correctness-by-Construction (CbC)
ProvideQ
QuBRA
Szenario-basiertes Testen
EasyUp
Lehrveranstaltungen
Start
Lehrveranstaltungen
Lehrveranstaltungen
Übersicht
Kurse
Start
Lehrveranstaltungen
Kurse
Kurse
Sommersemester 2025
Wintersemester 2024/25
Sommersemester 2024
Wintersemester 2023/24
Sommersemester 2023
Wintersemester 2022/23
Sommersemester 2022
Abschlussarbeiten
Team
Start
Team
Team
Alumni
Offene Stellen
Aktivitäten
Start
Aktivitäten
Aktivitäten
KASTEL Scientific Evaluation 2025
Quantum Software Engineering MeetUp 2025
Priority Programme 2514: Quantum Software, Algorithms and Systems
Quantum Software Engineering MeetUp 2024
IFIP Working Group on Foundations of Quantum Computation
WAKERS 2023
Startseite
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
suchen
suchen
Test, Validierung und Analyse Software-intensiver Systeme
Startseite
Startseite
Forschung
Lehrveranstaltungen
Team
Offene Stellen
Aktivitäten
Startseite
Startseite
Forschung
Correctness-by-Construction (CbC)
ProvideQ
QuBRA
Szenario-basiertes Testen
EasyUp
Lehrveranstaltungen
Übersicht
Kurse
Sommersemester 2025
Wintersemester 2024/25
Sommersemester 2024
Wintersemester 2023/24
Sommersemester 2023
Wintersemester 2022/23
Sommersemester 2022
Abschlussarbeiten
Team
Alumni
Offene Stellen
Aktivitäten
KASTEL Scientific Evaluation 2025
Quantum Software Engineering MeetUp 2025
Priority Programme 2514: Quantum Software, Algorithms and Systems
Quantum Software Engineering MeetUp 2024
IFIP Working Group on Foundations of Quantum Computation
WAKERS 2023
