Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Sobolev, Mikhail Sergeevich
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:62
Abstract pages:92
Full texts:72

https://www.mathnet.ru/eng/person162791
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2010
1. M. S. Sobolev, “Using X-CTL logic to implement  formal verification of X-machines”, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2010, no. 3,  47–52  mathnet
2009
2. M. S. Sobolev, “The X-Machine description of a system”, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2009, no. 4,  22–27  mathnet  elib

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024