Baranov Samary Iosifovich

Publications in Math-Net.Ru

1. Semiformal verification for pipelined digital designs based on Algorithmic State Machines
   
   Inform. Primen., 4:4 (2010),  48–59
2. Concurrent design and verification of digital hardware
   
   Inform. Primen., 2:3 (2008),  7–25