Távközlési szoftverek

Alapadatok
Neptun kód: 
vittd074
Gazda tanszék: 
TMIT
Szak: 
BME-VIK Villamosmérnöki doktori iskola
BME-VIK Informatikai doktori iskola
Kapcsolódó szakirányú képzés: 
Szint: 
PhD - Doktori képzés
Típus: 
Dokoranduszi kötelező tárgy
Doktoranduszi választható tárgy
Érvényesség: 
aktív
Tárgyfelelős: 
Célkitűzés: 
Elméleti és gyakorlati ismeretek nyújtása a távközlési szoftverek és a protokollok, kiterjesztett kommunikáló véges automaták elméletén alapuló specifikáció, verifikáció, validáció és konformancia tesztelés témaköréből. Módszerek, algoritmusok valamint formális leíró eszközök és nyelvek alkalmazása távközlési szoftverek és protokollok megvalósítására. Esettanulmányok a modern kommunikációs protokollokra.
Szemeszter: 
tavasz
Kurzus Szemeszter
Távközlési szoftverek (2018 ősz) 2018/2019 1. félév (ősz)
Távközlési szoftverek (2017) 2016/2017 2. félév (tavasz)
Távközlési szoftverek (2015) 2014/2015 2. félév (tavasz)
Távközlési szoftverek (2013) 2012/2013 2. félév (tavasz)