Sergey . Velder

Work place: ITMO University
Post: Postgraduate
Degree: магистр прикладной математики и информатики
E-mail: velder@rain.ifmo.ru
Velder S. ., Shalyto A. A. MODEL CHECKING AUTOMATA-BASED PROGRAMS USING REDUCED TRANSITION GRAPH CONSTRUCTION
The article was published in issue 6(64) in 2009
Velder S. ., Shalyto A. A. METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION
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.

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