Nadezhda Chumakova

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 2

Top Topics

Temporally Extended

Satisfiability Problem

Reactive Systems

Top Venues

Publications

Valentin Olenev, Elena Suvorova, Nadezhda Chumakova
Broadcast Propagation Time in SpaceFibre Networks with Various Types of Spatial Redundancy. Sensors 23 (13) (2023)
Nadezhda Chumakova, Valentin Olenev, Irina Lavrovskaya
Conformance testing of the STP-ISS protocol implementation by means of temporal logic. FRUCT (2017)