KIT - Karlsruhe Institute of Technology
image/svg+xml
Modeling and Analysis in Mobility Software Engineering
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
search
search
Research
Study and teaching
Start
Study and teaching
Study and teaching
Courses
Start
Study and teaching
Courses
Courses
Winter Semester 2025/2026
Sommersemester 2025
Winter semester 2024/2025
Summer semester 2024
Winter semester 2023/2024
Summer semester 2023
Final theses
Team
Start
Team
Team
Open Positions
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Modeling and Analysis in Mobility Software Engineering
Startpage
Study and teaching
Final theses
Homepage
Research
Study and teaching
Team
Study and teaching
Courses
Final theses
Final theses
Analysis of UMLSL Application to Mixed Light Rail and Automotive Traffic Systems
Subject:
Formal Methods
Type:
Bachelorarbeit
Supervisor:
Qais Hamarneh
