A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation
Matthew Jablonski, Bo Yu, G. Ciocarlie, Paulo Costa
2021Computer3 citations Open access
Semantic Scholar
Researcher profile · Semantic Scholar
Matthew Jablonski, Bo Yu, G. Ciocarlie, Paulo Costa
A. F. Teixeira, M. Matos, L. Pedrosa, Paulo Costa