Login / Signup
A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation.
Matthew Jablonski
Bo Yu
Gabriela Felicia Ciocarlie
Paulo C. G. Costa
Published in:
Computer (2021)
Keyphrases
</>
case study
real time
modeling language
database
data sets
neural network
decision making
key management