For citations:
Pottosin Yu.V., Romanov V.I., Cheremisinova L.D. Verification of systems with behavior parallelism on the basis of the graph of reachable states. Informatics. 2019;16(2):62-72. (In Russ.)
Views: 227
Fullscreen
Popular articles
Vol 16, No 4 (2019)
Vol 15, No 1 (2018)
No 2 (2013)
Article Tools
Email this article (Login required)
Email the author (Login required)
Email this article (Login required)
Email the author (Login required)
About the Authors
Keywords
Boolean function
FPGA
Shannon expansion
address sequences
algorithm
boundary-value problem
classification
communicative fragment
convolutional neural network
deep learning
disjunctive normal form
logistic regression
machine learning
mathematical model
mathematical models
neural network
physical cryptography
simulation
two-sided boundary conditions
verification
wavelet transform
220012, Minsk, Surganov Str 6.
The United Institute of Informatics Problems
of the National Academy of Sciences of Belarus
(UIIP NASB)
e-mail: rio@newman.bas-net.by
