Kulcsszó: model checking
OData:
XML
JSON
Mi ez?
Tanszékek
Konzulensek
-
Dr. Vörös András
(MIT, 15 téma)
-
Dr. Molnár Vince
(MIT, 9 téma)
-
Dobos-Kovács Mihály
(MIT, 3 téma)
-
Dr. Micskei Zoltán Imre
(MIT, 3 téma)
-
Ádám Zsófia
(MIT, 2 téma)
-
Bajczi Levente
(MIT, 2 téma)
-
Dr. Kocsis Imre
(MIT, 2 téma)
-
Dr. Marussy Kristóf
(MIT, 2 téma)
-
Graics Bence
(MIT, 2 téma)
-
Hajdu Ákos
(MIT, 2 téma)
-
Mondok Milán
(MIT, 2 téma)
-
Szekeres Dániel
(MIT, 2 téma)
-
Cziborová Dóra
(MIT, 1 téma)
-
Dr. Majzik István
(MIT, 1 téma)
-
Dr. Semeráth Oszkár
(MIT, 1 téma)
-
Szabó Richárd
(MIT, 1 téma)
-
Tóth Tamás
(MIT, 1 téma)
Témák
Összesen 51 szakdolgozat és diplomaterv.
Összes téma megtekintése »