DocumentCode
335646
Title
A Methodology For Partial Verification And Validation Of OPS5-based Al Applications
Author
Prakash, G. Ravi ; Mahabala, H.N. ; Subrahmaman, E.
Author_Institution
Indian Institute of TechnoloSy
Volume
3
fYear
1991
fDate
28-30 Aug 1991
Firstpage
284
Lastpage
288
Keywords
Application software; Artificial intelligence; Computer applications; Computer errors; Computer science; Design engineering; Knowledge engineering; Maintenance engineering; Production systems; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Print_ISBN
0-7803-0538-8
Type
conf
DOI
10.1109/TENCON.1991.753885
Filename
753885
Link To Document