Kirill . Egorov

Work place: ITMO University
Post: magistrate’s student
Degree: магистр прикладной математики и информатики
E-mail: kegorof@gmail.com
Egorov K. ., Tsarev F. ., Shalyto A. A. APPLICATION OF GENETIC PROGRAMMING AND MODEL CHECKING FOR FINITE-STATE MACHINE INDUCTION ON THE BASE OF TESTS AND SPECIFICATION
The article was published in issue 5(69) in 2010
Egorov K. ., Shalyto A. A. DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS
The article was published in issue 8(53) in 2008
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика