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.

Counterexample-guided simulation framework for formal verification of flexible automation systems

Sandeep Patil, Valeriy Vyatkin, Cheng Pang. Counterexample-guided simulation framework for formal verification of flexible automation systems. In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015. pages 1192-1197, IEEE, 2015. [doi]

Authors

Sandeep Patil

This author has not been identified. Look up 'Sandeep Patil' in Google

Valeriy Vyatkin

This author has not been identified. Look up 'Valeriy Vyatkin' in Google

Cheng Pang

This author has not been identified. Look up 'Cheng Pang' in Google
runs on