DocumentCode :
3384107
Title :
JAVS: A Jovial Automated Verification System
Author :
Gannon, C.
Author_Institution :
General Research Corporation
fYear :
1978
fDate :
1978
Firstpage :
539
Lastpage :
544
Keywords :
Automatic control; Documentation; Fluid flow measurement; Instruments; Military computing; Monitoring; Performance analysis; Probes; Software testing; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
Type :
conf
DOI :
10.1109/CMPSAC.1978.810480
Filename :
810480
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3384107
بازگشت