VojtechRehak
I am an associate professor at Faculty of Informatics, Masaryk University.
Faculty of Informatics, Masaryk UniversityBrno, Czech Republic
VojtechRehak's Stars
VojtechRehak/prism-gsmp
PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).