DocumentCode
2935865
Title
Applications Of The Automated Reasoning Tool At Lockheed
Author
Yoshimoto, G.M.
Author_Institution
Lockheed Research & Development Division
fYear
1985
fDate
6-8 Nov. 1985
Firstpage
472
Lastpage
480
Keywords
Computer interfaces; Computer simulation; NASA; Power system modeling; Processor scheduling; Solar power generation; Space shuttles; Space stations; Subspace constraints; Thermal management;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits, Systems and Computers, 1985. Nineteeth Asilomar Conference on
Conference_Location
Pacific Grove, CA,USA
ISSN
1058-6393
Print_ISBN
0-8186-0729-7
Type
conf
DOI
10.1109/ACSSC.1985.671506
Filename
671506
Link To Document