Petr Ročkai
发表
Zuzana Baranová,
Petr Ročkai,
2019,
FM Workshops.
Petr Ročkai,
Jiří Barnat,
Vladimír Štill,
2013
.
Petr Ročkai,
Luboš Brim,
Jiří Barnat,
2010
.
Jan Mrázek,
Zuzana Baranová,
Petr Ročkai,
2020
.
Agostino Cortesi,
Petr Ročkai,
Henrich Lauko,
2020,
Applied Sciences.
Petr Ročkai,
Petr Ročkai,
2010
.
Petr Ročkai,
Luboš Brim,
Jiří Barnat,
2009
.
Petr Ročkai,
Luboš Brim,
Jiří Barnat,
2007
.
Petr Ročkai,
2007
.
Petr Ročkai,
Henrich Lauko,
Jiří Barnat,
2020,
2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS).