Article DEVELOPMENT OF A TOOL FOR FINITE STATE MACHINE GENERATION WITH GENETIC ALGORTIHMS Evgeny Mandrikov, Vladimir Kulev
Article A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov