Article METHOD OF PROTECTION PROFILE DEVELOPMENT FOR AUTOMATED BANKING SYSTEM Leonid Osovetsky, Aleksey Sidorov, Yuri Shubin May 2008
Article THE MAIN ASPECTS MODELLING OF THE REAL AND COMPLEX ANALYSIS IN THE FRAMEWORK OF HYPERNATURAL Yuri Lovyagin, Elena Prazdnikova May 2008
Article DEVELOPMENT OF A TOOL FOR FINITE STATE MACHINE GENERATION WITH GENETIC ALGORTIHMS Evgeny Mandrikov, Vladimir Kulev April 2008
Article A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING Konstantin Rubinov, Vladimir Vedeneev, Vladimir Parfenov April 2008
Article VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH Sergey Kanzhelev April 2008
Article APPLICATION OF GENETIC PROGRAMMING AND OF REDUCED TRANSITION TABLES METHOD AND OF DECISION TREES METHOD FOR CONSTRUCTING A CONTROL SYSTEM FOR A MODEL OF AN UNMANNED AIRCRAFT Dmitry Sokolov, Fedor Tsarev, Andrey Davydov April 2008
Article A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov April 2008
Article DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS Kirill Egorov, Shalyto Anatoly A. April 2008