Tag: model checking OData: XML JSON What's this?

Departments

• Department of Artificial Intelligence and Systems Engineering (MIT) (51 theses)

Supervisors

• 
  Dr. Vörös András
  (MIT, 15 theses)
• 
  Dr. Molnár Vince
  (MIT, 9 theses)
• 
  Dobos-Kovács Mihály
  (MIT, 3 theses)
• 
  Dr. Micskei Zoltán Imre
  (MIT, 3 theses)
• 
  Ádám Zsófia
  (MIT, 2 theses)
• 
  Bajczi Levente
  (MIT, 2 theses)
• 
  Dr. Kocsis Imre
  (MIT, 2 theses)
• 
  Dr. Marussy Kristóf
  (MIT, 2 theses)
• 
  Graics Bence
  (MIT, 2 theses)
• 
  Hajdu Ákos
  (MIT, 2 theses)
• 
  Mondok Milán
  (MIT, 2 theses)
• 
  Szekeres Dániel
  (MIT, 2 theses)
• 
  Cziborová Dóra
  (MIT, 1 thesis)
• 
  Dr. Majzik István
  (MIT, 1 thesis)
• 
  Dr. Semeráth Oszkár
  (MIT, 1 thesis)
• 
  Szabó Richárd
  (MIT, 1 thesis)
• 
  Tóth Tamás
  (MIT, 1 thesis)

Theses

51 theses in total.  View all theses »