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