A tantárgy célja elméleti és gyakorlati ismeretek nyújtása a kommunikációs protokolloknak, a kiterjesztett kommunikáló véges automaták elméletén alapuló specifikáció, implementáció és konformancia tesztelés módszertanáról. Formális leíró nyelvek alkalmazása kommunikációs protokollok technológiai lépései során. Esettanulmányok különböző kommunikációs hálózatok jelzési protokolljaira.