BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM
VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR

TDK KONFERENCIA

2006. november 17.

 

Protokollok

Nokia Hungary Kft. I. díja:

• Sisak Áron VI. Inf.
  Egy elosztott diagnosztikai protokoll formális verifikációja és implementációja
  Formal Verification and Implementation of a Distributed Diagnosis Protocol
  Konzulens: Bokor Péter, Méréstechnika és Információs Rendszerek Tanszék

---

Szoftver szekció

Siemens PSE Kft. I. díja, IEEE Hungary Section diáktagság egyéves előfizetése:

• Balogh Zoltán IV. Inf.
  Modelltranszformációs szabályok automatikus generálása példák alapján
  Konzulens: Dr. Varró Dániel, Méréstechnika és Információs Rendszerek Tanszék

Microsoft Magyarország Kft. III. díja:

• Béres-Deák Ádám V. Inf.
  UML2-Statechart alapú kódgenerálás
  Konzulens: Balogh András, Méréstechnika és Információs Rendszerek Tanszék
  

---