| Name: | Ing. Štefan Korečko PhD. |
| Function: |
Assistant professor |
| Phone number: | +421 55 6024313 |
| E-mail: | stefan.korecko@tuke.sk |
| Building: |
Letná 9 |
| Room: |
B507
(B535 by the old numbering)
|
| 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/ |
|
 |
Publications registered in
University Library
Projects:
