ETAPS 2019 (series) / David Safranek
Registered user since Thu 15 Mar 2018
Name:David Safranek
Country:Czech Republic
Affiliation:Masaryk University
Personal website: https://www.muni.cz/en/people/3159-david-safranek
Research interests:formal methods; systems biology; parameter synthesis; dynamical systems; cyber-physical and cyber-biological systems; formal verification
Contributions
2019
HSB
ETAPS 2019-profile
View general profile
View general profile