Enhancing Formal Methods Integration with ACP2Petri

by Slavomír Šimoňák, Martin Šolc
Published 2016-12-01

ALGORITHMS AND DATA STRUCTURE LIBRARIES FOR JAVA

by Patrik PERHAC, Slavomir SIMONAK
Published 2020-05-01

RASP ABSTRACT MACHINE EMULATOR – EXTENDING THE EMUSTUDIO PLATFORM

by Michal ŠIPOŠ, Slavomír ŠIMOŇÁK
Published 2017-09-01

Utilizing GPGPU in Computer Emulation

by Peter Jakubco, Slavomir Simonak
Published 2012-06-01