Korečko Štefan
Meno:
Ing. Štefan Korečko PhD.
Telefónne číslo:
+421 55 6024313
Budova:
Letná 9
Miestnosť - nové označenie (new numbering):
B507
Miestnosť - staré označenie (old numbering):
B535
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/
Bez poznámok
Meno:
Štefan
Priezvisko:
Korečko