Petr Bauch
发表
Petr Bauch,
2015
.
Jiri Barnat,
Petr Bauch,
Vojtech Havel,
2014,
2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.
Jiri Barnat,
Petr Bauch,
Vojtech Havel,
2014,
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Lubos Brim,
Jiri Barnat,
Milan Ceska,
2011,
PDMC.
Jiri Barnat,
Petr Bauch,
Vojtech Havel,
2014,
MEMICS.
Lubos Brim,
Jiri Barnat,
Milan Ceska,
2011,
2011 IEEE International Parallel & Distributed Processing Symposium.
Jiri Barnat,
Jan Mrázek,
Petr Bauch,
2016,
SPIN.
Lubos Brim,
Jan Beran,
Jiri Barnat,
2015,
Formal Aspects of Computing.
Lubos Brim,
Jiri Barnat,
Milan Ceska,
2010,
2010 IEEE 16th International Conference on Parallel and Distributed Systems.
Lubos Brim,
Jiri Barnat,
Petr Bauch,
2012,
SEFM.
Jiri Barnat,
Petr Bauch,
J. Barnat,
2013,
ArXiv.
Milan Ceska,
Petr Bauch,
2010,
MEMICS.
Petr Bauch,
2011
.
Lubos Brim,
Jan Beran,
Jiri Barnat,
2015,
ArXiv.
Jiri Barnat,
Petr Bauch,
Vojtech Havel,
2016,
ACM Trans. Softw. Eng. Methodol..
Lubos Brim,
Jiri Barnat,
Milan Ceska,
2012,
J. Parallel Distributed Comput..
Jiri Barnat,
Petr Bauch,
Vojtech Havel,
2014,
Software Quality Journal.