Sergey Nikolayevich Baranov Russian Federation, St. Petersburg Academic degree Doctor of Physics and Mathematics Academic title Professor Research area software engineering formal methods Affiliation & position St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences — chief researcher ITMO University — professor E-mail SNBaranov@gmail.com
Baranov S., Nikiforov V. Application Density and Feasibility Checking in Real-Time Systems // System Informatics. — 2016. — # 7. — P. 1-10
