KIT - Karlsruhe Institute of Technology
image/svg+xml
Test, Validation and Analysis of Software-Intensive Systems
skip navigation
Home
Legals
Data Protection
Accessibility
Sitemap
KIT
de
search
search
Research
Start
Research
Research
Correctness-by-Construction (CbC)
ProvideQ
QuBRA
Szenario-basiertes Testen
EasyUp
Teaching
Start
Teaching
Teaching
Overview
Courses
Start
Teaching
Courses
Courses
Winter term 2024/25
Summer term 2024
Winter term 2023/24
Summer term 2023
Winter term 2022/23
Summer term 2022
Abschlussarbeiten
Team
Start
Team
Team
Alumni
Open Positions
Activities
Start
Activities
Activities
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
Startpage
Home
Legals
Data Protection
Accessibility
Sitemap
search
search
Test, Validation and Analysis of Software-Intensive Systems
Startpage
Teaching
Abschlussarbeiten
Home
Research
Teaching
Team
Open Positions
Activities
Teaching
Overview
Courses
Abschlussarbeiten
Abschlussarbeiten
Scalability of Realisability Analysis in Cyber-Phys. Product Lines
Type:
Bachelor's thesis
Supervisor:
Philip Ochs
Person in Charge:
Open
Overview
