Automatic Translation of Simulink Models into Input Language of a Model Checker

Conference Paper

Duke Authors

Cited Authors

  • Meenaksji, B; Bhatnagar, A; Roy, S

Published Date

  • 2006

Conference Name

  • International Conference on Formal Engineering Methods (ICFEM)