Rafal Baranowski

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 4

Top Topics

Formal Verification

Heart Rate Variability

Top Venues

ACM Trans. Design Autom. Electr. Syst.

University of Stuttgart (PHD)

Education History

University of Stuttgart

PHD

Publications