| 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:
