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.

Model-Checking based Verification approach for advanced Industrial Automation solutions

Mauro Mazzolini, Alessandro Brusaferri, Emanuele Carpanzano. Model-Checking based Verification approach for advanced Industrial Automation solutions. In Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain. pages 1-8, IEEE, 2010. [doi]

Authors

Mauro Mazzolini

This author has not been identified. Look up 'Mauro Mazzolini' in Google

Alessandro Brusaferri

This author has not been identified. Look up 'Alessandro Brusaferri' in Google

Emanuele Carpanzano

This author has not been identified. Look up 'Emanuele Carpanzano' in Google
runs on