Automated analysis of bounded response time for two NASA expert systems
Authors:
Chih-Kan Wang;Duu-Chung Tsou;Rwo-Hsi Wang;James C. Browne;Aloysius K. Mok
Affiliations:
Department of Computer Science, University of Texas at Austin, Austin, Texas;-;-;Department of Computer Science, University of Texas at Austin, Austin, Texas;Department of Computer Science, University of Texas at Austin, Austin, Texas
Venue:
SIGSOFT '91 Proceedings of the conference on Software for citical systems