Персоналии: Баранов Самарий Иосифович

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Баранов Самарий Иосифович

профессор

доктор технических наук

E-mail:

	Публикации в базе данных Math-Net.Ru	Цитирования
	2010
1.	S. Baranov, S. Frenkel, V. Zakharov, “Semiformal verification for pipelined digital designs based on Algorithmic State Machines”, Информ. и её примен., 4:4 (2010), 48–59	1
	2008
2.	S. Baranov, S. Frenkel, V. Sinelnikov, V. Zakharov, “Concurrent design and verification of digital hardware”, Информ. и её примен., 2:3 (2008), 7–25	1

Организации

Обратная связь: