Viktoriia Moskalets

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Provably Correct

Reactive Systems

Formal Specification Language

Top Venues

Publications

Serhii Naumenko, Viktoriia Moskalets, Oleg Odarushchenko, Elena Odarushchenko, Volodymyr Peschanenko, Larysa Degtyareva, Oleksandr A. Letychevskyi
Formal Methods of FPGA Project Verification Flow. IDAACS (2021)