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-based automatic test generation for Simulink/Stateflow using extended finite automaton

Meng Li, Ratnesh Kumar. Model-based automatic test generation for Simulink/Stateflow using extended finite automaton. In 2012 IEEE International Conference on Automation Science and Engineering, CASE 2012, Seoul, Korea (South), August 20-24, 2012. pages 857-862, IEEE, 2012. [doi]

Authors

Meng Li

This author has not been identified. Look up 'Meng Li' in Google

Ratnesh Kumar

This author has not been identified. Look up 'Ratnesh Kumar' in Google
runs on