Tumurov Erdem Garmayevich

Тумуров Эрдэм Гармаевич
Erdem Garmayevich Tumurov
Russia, Novosibirsk
Research area
Affiliation & position
  • A.P. Ershov Institute of Informatics Systems — junior researcher
E-mail
List of Articles in System Informatics:
E. Tumurov V. Shelekhov Requirement specification of quad-rotor flight control system // System Informatics. — . — # 5.  — P. 39-54
K. Bulgakov I. Kablukov E. Tumurov V. Shelekhov Optimizing transformations for operations on lists and trees in the predicate programming system // System Informatics. — . — # 9.  — P. 63-92
E. Tumurov V. Shelekhov Transformation, specification, and verification of the program calculating the elements number of a set presented by a bit vector // System Informatics. — . — # 16.  — P. 103-136