| Meno: | Ing. Štefan Korečko PhD. |
| Zaradenie: |
Odborný asistent |
| Telefónne číslo: | +421 55 6024313 |
| E-mail: | stefan.korecko@tuke.sk |
| Budova: |
Letná 9 |
| Miestnosť: |
B507
(B535 podľa starého číslovania)
|
| Konzultačné hodiny: |
Pondelok, 10:50-12:20 |
| Zameranie výskumu: |
- Formálne metódy špecifikácie, verifikácie a vývoja diskrétnych systémov (Petriho siete, B-Metóda)
- Modelovanie a simulácia systémov s diskrétnymi udalosťami
- Vizualizácia systémov vyvinutých pomocou formálnych metód
- Agentové systémy
|
| Publons URL (ResearcherID): |
https://publons.com/researcher/3317752/stefan-korecko/ |
|
 |
Publikačná činnosť evidovaná v
Univerzitnej Knižnici
Projekty:
