External Links

Cite Key

Statistics

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

PDF

Tags

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.

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models

Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar. Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. In Luca de Alfaro, Jens Palsberg, editors, Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008. pages 89-98, ACM, 2008. [doi]

Authors

Rajeev Alur

Identified as Rajeev Alur

Aditya Kanade

Identified as Aditya Kanade
(Indian Institute of Science, India
)

S. Ramesh

Identified as S. Ramesh

K. C. Shashidhar

Identified as K. C. Shashidhar
runs on