Author Elena Panchenko 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

Panchenko Elena

Work place: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics
Post: student
E-mail: panchenko@rain.ifmo.ru

Ulyantsev V. I., Panchenko E. QUANTIFIED BOOLEAN FUNCTION SATISFIABILITY SOLVING METHODS APPLICATION TO EXTENDED FINITE-STATE MACHINE CREATION BASED ON SCENARIOS AND TEMPORAL PROPERTIES
The article was published in issue 4, volume 13, 2013

Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.