Article DUAL-LINK OPTOELECTRONIC MEASURING SYSTEM SYNTHESIS WITH INTERVAL MODELING REPRESENTATIONS Ushakov Anatoly Vladimirovich, Artyom Tsventarny May 2008
Article METHOD OF PROTECTION PROFILE DEVELOPMENT FOR AUTOMATED BANKING SYSTEM Leonid Osovetsky, Aleksey Sidorov, Yuri Shubin May 2008
Article APPLICATION OF GENETIC PROGRAMMING, FINITE STATE MACHINES AND NEURAL NETS FOR CONSTRUCTION OF CONTROL SYSTEM FOR UNNMANED AIRCRAFT Fedor Tsarev April 2008
Article A MACHINE LEARINIGN METHOD FOR COMPLX SYSTEMS WITH A LOT OF INPUT DATA AND OUTPUT ACTIONS Alexander Krass April 2008
Article INHERITANCE OF AUTOMATA CLASSED WITH DYNAMIC PROGRAMMING LANGUAGES ON THE EXAMPLE OF RUBY Kirill Timofeev, Artem Astafurov April 2008
Article VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL Vadim Gurov, Bulat Jaminov April 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