Course coordinator:
Tárgy honlapja:
Objective:
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.
Semester:
Spring
| 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) |
| 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) |