Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
A Trusted Safety Verifier for Process Controller Code
Home
Publications
A Trusted Safety Verifier for Process Controller Code
A Trusted Safety Verifier for Process Controller Code
SM
Stephen McLaughlin
Stephen McLaughlin
SZ
Saman Zonouz
Saman Zonouz
DP
Devin Pohly
Devin Pohly
Patrick McDaniel
Patrick McDaniel
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
1 January 2014
conference paper
conference paper
Published by
Internet Society
https://doi.org/10.14722/ndss.2014.23043
Abstract
No abstract available
Cited by 77 articles