Sign in
Home
Search
Home
»
Browse and search
»
More tags
» Runtime verification
Tag: Runtime verification
OData:
XML
JSON
What's this?
Departments
Department of Artificial Intelligence and Systems Engineering
(MIT)
(18 theses)
Supervisors
Dr. Majzik István
(MIT, 9 theses)
Dr. Vörös András
(MIT, 8 theses)
Graics Bence
(MIT, 1 thesis)
Theses
18 theses in total.
View all theses »
By degree:
Bachelor's degree
(11 theses)
Master's degree
(7 theses)
By programme:
computer engineering programme
(18 theses)
By semester:
2025-2026 Autumn
(1 thesis)
2022-2023 Autumn
(1 thesis)
2021-2022 Spring
(1 thesis)
2021-2022 Autumn
(1 thesis)
2020-2021 Autumn
(2 theses)
2019-2020 Autumn
(1 thesis)
2017-2018 Spring
(1 thesis)
2017-2018 Autumn
(2 theses)
2016-2017 Autumn
(2 theses)
2015-2016 Spring
(3 theses)
2015-2016 Autumn
(1 thesis)
2013-2014 Spring
(1 thesis)
2011-2012 Autumn
(1 thesis)