Back to Search
Start Over
Automated analysis of bounded response time for two NASA expert systems.
- Source :
- Proceedings of the Conference: Software for Citical Systems; Dec1991, p147-161, 15p
- Publication Year :
- 1991
Details
- Language :
- English
- ISBNs :
- 9780897914550
- Database :
- Complementary Index
- Journal :
- Proceedings of the Conference: Software for Citical Systems
- Publication Type :
- Conference
- Accession number :
- 83794505
- Full Text :
- https://doi.org/10.1145/125083.123067