Article A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING Konstantin Rubinov, Vladimir Vedeneev, Vladimir Parfenov
Article APPLICATION OF AUTOMATA-BASED APPROACH FOR A MOBILE ROBOT CONTROL SYSTEM Vitaliy Kleban, Vladimir Parfenov, Shalyto Anatoly A.