Discover open access scientific publications

Search, annotate, share and cite publications

Publications by D.S. Sadyrin

Information Security of Automated Control Systems of Technological Processes

Izvestiâ vysših učebnyh zavedenij. Priborostroenie

English

Verification of Dynamic Memory Allocators Based on Symbolic Program Execution

Scientific and Technical Journal of Information Technologies, Mechanics and Optics

English