Egorov Kirill

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, volume 10, 2010
Egorov K., Shalyto A. A. DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS
The article was published in issue 8, volume 08, 2008
Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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