Jaminov Bulat

Work place: State Educational Establishment of High Professional Education “Saint-Petersburg State University of Information Technologies, Mechanics and Optics”
Gurov V., Jaminov B. VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL
The article was published in issue 8, volume 08, 2008
Kochelev D., Lagunov I., Khasanzyanov B., Jaminov B. A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION
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.

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