Lejárt pályázatok

Ericsson kutatói ösztöndíj 2015.01.31.

 PÁLYÁZATI FELHÍVÁS A Pro Progressio Alapítvány az Ericsson Hungary Kft. támogatásával pályázatot hirdet a Villamosmérnöki és Informatikai Kar oktatói részére kutatói ösztöndíj elnyerésére. 1./ Kutatási téma: Távközlésben használatos algoritmusok FPGA-ba implementálhatóságának vizsgálata 2./ Az ösztöndíj: >>

Kutatási beszámolók

Survey of Verification Techniques on Design Models

Napjainkban az egyes szoftver komponensek formális verifikációja egyre elterjedtebb. Munkám során az UML nyelv két kiterjesztésének (fUML és xUML) jelenleg használt automatikus ellenőrzési lehetőségeit foglaltam össze. Az fUML (foundational UML) az UML egy, a rendszerek >>

Lejárt pályázatok

Varga József kutatói ösztöndíj pályázat 2015.01.29.

Varga József Alapítvány VBK Kari kutatói ösztöndíj pályázat 2015.   PÁLYÁZATI FELHÍVÁS A Pro Progressio Alapítvány a Varga József Alapítvány támogatásával pályázatot hirdet VBK Kari kutatói ösztöndíj elnyerésére. 1./ Kutatási téma: Foszfin-oxidok enantiomerjei előállítási módszerének >>

Lejárt pályázatok

Ericsson doktorandusz ösztöndíj pályázat 2015.02.19.

  PÁLYÁZATI FELHÍVÁS A Pro Progressio Alapítvány az Ericsson Magyarország Kft. támogatásával pályázatot hirdet a Villamosmérnöki és Informatikai Kar doktorandusz hallgatói részére hallgatói ösztöndíj elnyerésére. 1./ Kutatási téma: Komplex rendszerek magas szintű modelljeinek ellenőrzése 2./ >>

Lejárt pályázatok

Varga József doktorjelölt ösztöndíj pályázat 2015.01.31.

Varga József Alapítvány Doktorjelölti pályázat 2015. 01. 31. PÁLYÁZATI FELHÍVÁS   A Pro Progressio Alapítvány a Varga József Alapítvány támogatásával pályázatot hirdet a Vegyészmérnöki és Biomérnöki Kar doktorjelöltjei részére kutatói ösztöndíj elnyerésére. 1./ A pályázaton >>

Kutatási beszámolók

Keretrendszer valósidejű rendszerek verifikációjához

A formális módszerek fontos szerepet játszanak biztonságkritikus rendszerek helyességének biztosításában. A formális technikák ipari alkalmazása azonban számos akadályba ütközik: a szakértők hiánya és a formális specifikációs nyelvek bonyolultsága megnehezíti a formális módszerek gyakorlati felhasználását. Munkám >>

Lejárt pályázatok

RacioNet hallgatói pályázat 2015.

A Pro Progressio Alapítvány a RacioNet Zrt. támogatásával pályázatot hirdet a műszaki tanulmányokat folytató BSc és MSc hallgatók részére ösztöndíj elnyerésére.