Automatic Control and Computer Sciences
ISSN 0146-4116 (Print)
ISSN 1558-108X (Online)
Menu
Archives
Home
About the Journal
Editorial Team
Editorial Policies
Author Guidelines
About the Journal
Issues
Search
Current
Retracted articles
Archives
Contact
All Journals
User
Username
Password
Remember me
Forgot password?
Register
Notifications
View
Subscribe
Search
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
By Sections
Other Journals
Subscription
Login to verify subscription
Keywords
Big Data
CRC
VANET
asymptotics
authentication
cloud computing
cybersecurity
deep learning
delay
digital production
error probability
genetic algorithm
information security
large parameter
machine learning
neural network
relaxation oscillations
security
self-similarity
stability
verification
×
User
Username
Password
Remember me
Forgot password?
Register
Notifications
View
Subscribe
Search
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
By Sections
Other Journals
Subscription
Login to verify subscription
Keywords
Big Data
CRC
VANET
asymptotics
authentication
cloud computing
cybersecurity
deep learning
delay
digital production
error probability
genetic algorithm
information security
large parameter
machine learning
neural network
relaxation oscillations
security
self-similarity
stability
verification
Home
>
Search
>
Author Details
Author Details
Gromov, Maxim
Issue
Section
Title
File
Vol 51, No 7 (2017)
Article
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage
TOP
