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
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
Information
For Readers
For Authors
For Librarians
×
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
Information
For Readers
For Authors
For Librarians
Home
>
Search
>
Author Details
Author Details
Naessens, Vincent
Issue
Section
Title
File
Vol 51, No 2 (2017)
Article
A logic-based framework for the security analysis of Industrial Control Systems
This website uses cookies
You consent to our cookies if you continue to use our website.
About Cookies
TOP