Article VULNERABILITY DETECTION AT THE FIRST STAGE OF SOFTWARE ENGINEERING Leonid Osovetsky, Yuri Shubin, Yulia Torshenko May 2008
Article APPLICATION OF FIELD SEPARATION TECHNIQUE ON QUADRUPOLE LENS FINITE ELEMENT MODELING Mikhail Royak, Alexandr Ignatiev, Maria Korsun May 2008
Article APPLICATION OF FINITE STATE MACHINES FOR AUTOMATIZATION OF DOCUMENTS CIRCULATION Vitaliy Kleban, Fedor Novikov April 2008
Article DECLARATIVE APPROACH TO EMBEDDING AND INHERITANCE OF AUTOMATA CLASSES WITH IMPERATIVE PROGRAMMING LANGUAGES Artem Astafurov April 2008
Article VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER Лукин М. А., Shalyto Anatoly A. April 2008
Article CONSTRUCTION OF A CONTROL SYSTEM FOR ROBOCODE TANK USING GENETIC ALGORITHMS Yury Bedny, Shalyto Anatoly A. April 2008
Article DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH Клебанов А. А., Shalyto Anatoly A. April 2008
Article METHODS FOR OPTIMIZATION OF GENETIC ALGORITHMS CONSTRUCTING FINITE STATE MACHINES Pavel Lobanov April 2008
Article APPLICATION OF GENETIC PROGRAMMING, FINITE STATE MACHINES AND NEURAL NETS FOR CONSTRUCTION OF CONTROL SYSTEM FOR UNNMANED AIRCRAFT Fedor Tsarev April 2008