Author Evgeny Kurbatsky Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2024 , VOLUME 24, NUMBER 5 ( september-october )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Menu

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

Kurbatsky Evgeny

Work place: Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Kurbatsky E. VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SMV TOOL
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.