ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

1
Publication date:
17 March 2024

Chibisov P.A.

Ph.D (chibisov@cs.niisi.ras.ru)
Senior Researcher
Federal State Institution "Scientific Research Institute for System Analysis of the Russian Academy of Sciences" (SRISA RAS)
Author in:
  1. Verification of a microprocessor and its RTL-model by means of ОС Linux user applications
  2. Development of trusted microprocessor software models and a microprocessor system
  3. Co-authors: Kuleshov A.S., S.I. Aryashev , P.S. Zubkovsky , Grevtsev N.A., Petrov K.A.