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