External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of Safety and Security Properties in Industry 4.0 Applications

Ali Mohammad Hosseini, Thilo Sauter, Wolfgang Kastner. Formal Verification of Safety and Security Properties in Industry 4.0 Applications. In 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023. pages 1-8, IEEE, 2023. [doi]

Authors

Ali Mohammad Hosseini

This author has not been identified. Look up 'Ali Mohammad Hosseini' in Google

Thilo Sauter

This author has not been identified. Look up 'Thilo Sauter' in Google

Wolfgang Kastner

This author has not been identified. Look up 'Wolfgang Kastner' in Google
runs on