Experiences in integrating auto-translated state-chart designs for model-checking

Pingree, P. J.; Benowitz, E. G.

NASA NTRS · 20060028593

Experiences in integrating auto-translated state-chart designs for model-checking

Pingree, P. J.·Benowitz, E. G.

View original source ↗Export metadata ↓

Abstract

The source did not provide an abstract. Follow the original record for more information.

Explore related subjects

model checking state chart integration

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Pingree, P. J., Benowitz, E. G.. 2003-06-22. Experiences in integrating auto-translated state-chart designs for model-checking. https://ntrs.nasa.gov/citations/20060028593

Cite the original work for its findings. Save a collection to share your selection of sources.