Meno: | prof. Ing. Štefan Hudák DrSc. |
Zaradenie: |
Nedefinované |
Telefónne číslo: | +421 55 6022525 |
E-mail: | stefan.hudak@tuke.sk |
Budova: |
Letná 9 |
Miestnosť: |
A506 (A531 podľa starého číslovania)
|
Konzultačné hodiny: |
Nedefinované |
Zameranie výskumu: |
- Abstraktné stroje a modely vypočítateľnosti - Návrh a analýza diskrétnych systémov - Analýza časovej stavovej dosiahnuteľnosti v časovo-kritických systémoch - Formálne metódy pre návrh a analýzu diskrétnych systémov (automaty, Petriho siete, procesné algebry, B AMN) - Integrácia formálnych metód
|
Publons URL (ResearcherID): |
Nedefinované |
|
|
Publikačná činnosť evidovaná v
Univerzitnej Knižnici
Projekty: