NASA NTRS · 20060038393
A Tool for Automatic Verification of Real-Time Expert Systems
Abstract
The source did not provide an abstract. Follow the original record for more information.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Traylor, Bonnie. 1994-07-31. A Tool for Automatic Verification of Real-Time Expert Systems. https://ntrs.nasa.gov/citations/20060038393
Cite the original work for its findings. Save a collection to share your selection of sources.