|
Analysis of real-time applications feasibility through simulation
S. N. Baranov, V. V. Nikiforov
|
673 |
|
|
Application of coloured Petri nets for verification of scenario control structures in UCM notation
N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko
|
688 |
|
|
An approach to verification of a family of multiagent systems for conflict resolution
N. O. Garanina, E. A. Sidorova
|
703 |
|
|
Using BALM-II for deriving cascade parallel composition of timed finite state machines
M. L. Gromov, N. V. Shabaldina
|
715 |
|
|
Deriving test suites with the guaranteed fault coverage for extended finite state machines
A. D. Ermakov, N. V. Yevtushenko
|
729 |
|
|
On the minimization of finite state transducers over semigroups
V. A. Zakharov, G. G. Temerbekova
|
741 |
|
|
The formalism and language tools for semantics specification of software libraries
V. M. Itsykson
|
754 |
|
|
Design and security analysis of a fragment of Internet of Things telecommunication system
V. A. Alexandrov, V. Desnitsky, D. Yu. Chaly
|
767 |
|
|
Generation of a social network graph by using Apache Spark
Yu. A. Belov, S. I. Vovchok
|
777 |
|
|
Bifurcation of periodic solutions of the Mackey–Glass equation
E. P. Kubyshkin, A. R. Moryakova
|
784 |
|
|
Component-based systems reconfigurations using graph grammars
O. B. Kouchnarenko, J.-F. Weber
|
804 |
|
|
Methodological aspects of semantic relationship extraction for automatic thesaurus generation
N. S. Lagutina, K. V. Lagutina, E. I. Mamedov, I. V. Paramonov
|
826 |
|
|
Dynamics of a system of two simplest oscillators with finite non-linear feedbacks
A. A. Kashchenko
|
841 |
|
|
Stable cycles and tori of a system of three and four diffusive coupled oscillators
E. A. Marushkina
|
850 |
Terms of Use