Tag: formal verification OData: XML JSON What's this?

Departments

• Department of Artificial Intelligence and Systems Engineering (MIT) (54 theses)
• Department of Networked Systems and Services (HIT) (2 theses)
• Department of Telecommunications and Artificial Intelligence (TMIT) (1 thesis)

Supervisors

• 
  Dr. Vörös András
  (MIT, 11 theses)
• 
  Dr. Molnár Vince
  (MIT, 7 theses)
• 
  Bajczi Levente
  (MIT, 4 theses)
• 
  Dobos-Kovács Mihály
  (MIT, 4 theses)
• 
  Graics Bence
  (MIT, 4 theses)
• 
  Szekeres Dániel
  (MIT, 4 theses)
• 
  Hajdu Ákos
  (MIT, 3 theses)
• 
  Cziborová Dóra
  (MIT, 2 theses)
• 
  Dr. Fehér Béla
  (MIT, 2 theses)
• 
  Dr. Majzik István
  (MIT, 2 theses)
• 
  Dr. Marussy Kristóf
  (MIT, 2 theses)
• 
  Mondok Milán
  (MIT, 2 theses)
• 
  Tóth Tamás
  (MIT, 2 theses)
• 
  Tóthné Farkas Rebeka Krisztina
  (MIT, 2 theses)
• 
  Ádám Zsófia
  (MIT, 1 thesis)
• 
  Dr. Buttyán Levente
  (HIT, 1 thesis)
• 
  Dr. Elekes Márton Farkas
  (MIT, 1 thesis)
• 
  Dr. Micskei Zoltán Imre
  (MIT, 1 thesis)
• 
  Izsó Tamás
  (HIT, 1 thesis)
• 
  Ladóczki Bence
  (TMIT, 1 thesis)

Theses

57 theses in total.  View all theses »