Computer Science – Software Engineering
Scientist
Computer Science
Software Engineering
Scientist
Masaryk University
Masaryk University, Czech Republic
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Computing Optimal Cycle Mean in Parallel on CUDA
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
No associations
LandOfFree
Jiří Barnat does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jiří Barnat, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jiří Barnat will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-284949