1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Ondřej Vašíček
The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification.…