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

Публикации в базе данных Math-Net.Ru

1. Semiformal verification for pipelined digital designs based on Algorithmic State Machines
   
   Информ. и её примен., 4:4 (2010),  48–59
2. Concurrent design and verification of digital hardware
   
   Информ. и её примен., 2:3 (2008),  7–25