Gabriela Dudnik

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 7

Top Topics

Smart Environments

Formal Verification

Provably Correct

Biomedical Signal Processing

Top Venues

FedCSIS (Communication Papers)

Publications