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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=335646
بازگشت