Automated reasoning in man/machine control systems
Conference
·
· Trans. Am. Nucl. Soc.; (United States)
OSTI ID:5048406
- Research Organization:
- Argonne National Laboratory, P.O. Box 2528, Idaho Falls, ID 83401
- OSTI ID:
- 5048406
- Report Number(s):
- CONF-831047-
- Journal Information:
- Trans. Am. Nucl. Soc.; (United States), Vol. 45; Conference: American Nuclear Society winter meeting, San Francisco, CA, USA, 30 Oct 1983
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning in man-machine control systems
A control system verifier using automated reasoning software
The Milling Assistant, Case-Based Reasoning, and machining strategy: A report on the development of automated numerical control programming systems at New Mexico State University
Conference
·
Sat Jan 01 00:00:00 EST 1983
·
OSTI ID:5048406
A control system verifier using automated reasoning software
Conference
·
Thu Aug 01 00:00:00 EDT 1985
·
OSTI ID:5048406
The Milling Assistant, Case-Based Reasoning, and machining strategy: A report on the development of automated numerical control programming systems at New Mexico State University
Technical Report
·
Sun Aug 01 00:00:00 EDT 1993
·
OSTI ID:5048406
+2 more
Related Subjects
22 GENERAL STUDIES OF NUCLEAR REACTORS
NUCLEAR POWER PLANTS
REACTOR CONTROL SYSTEMS
HUMAN FACTORS ENGINEERING
COMPUTERIZED CONTROL SYSTEMS
DESIGN
MAN-MACHINE SYSTEMS
OPTIMIZATION
CONTROL SYSTEMS
ENGINEERING
NUCLEAR FACILITIES
POWER PLANTS
THERMAL POWER PLANTS
220400* - Nuclear Reactor Technology- Control Systems
NUCLEAR POWER PLANTS
REACTOR CONTROL SYSTEMS
HUMAN FACTORS ENGINEERING
COMPUTERIZED CONTROL SYSTEMS
DESIGN
MAN-MACHINE SYSTEMS
OPTIMIZATION
CONTROL SYSTEMS
ENGINEERING
NUCLEAR FACILITIES
POWER PLANTS
THERMAL POWER PLANTS
220400* - Nuclear Reactor Technology- Control Systems