Korečko Štefan
Name:
Ing. Štefan Korečko PhD.
Phone number:
+421 55 6024313
Building:
Letná 9
Miestnosť - nové označenie (new numbering):
B507
Room:
B535
Consultation hours:
Monday, 10:50-12:20
Research focus:
Formal methods for specification, verification and development of discrete systems (Petri Nets, B-Method)
Discrete-event systems modelling and simulation
Visualisation of systems developed by formal methods
Agent systems
Publons URL (ResearcherID):
https://publons.com/researcher/3317752/stefan-korecko/
Bez poznámok
Meno:
Štefan
Priezvisko:
Korečko