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

Number of views:
This page:220
Abstract pages:737
Full texts:260
References:100
Professor
Doctor of technical sciences
E-mail:

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

Publications in Math-Net.Ru Citations
2010
1. S. Baranov, S. Frenkel, V. Zakharov, “Semiformal verification for pipelined digital designs based on Algorithmic State Machines”, Inform. Primen., 4:4 (2010),  48–59  mathnet 1
2008
2. S. Baranov, S. Frenkel, V. Sinelnikov, V. Zakharov, “Concurrent design and verification of digital hardware”, Inform. Primen., 2:3 (2008),  7–25  mathnet 1

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