|
|
|
Volumn 1, Issue , 1983, Pages 405-408
|
|
DESCRIPTION AND REASONING OF PLANT CONTROLLERS IN TEMPORAL LOGIC.
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
CONTROL SYNTHESIS;
DYNAMICAL SYSTEMS;
PLANT CONTROLLERS;
REASONING METHODS;
TEMPORAL LOGIC;
SYSTEMS SCIENCE AND CYBERNETICS;
|
|
EID: 0020881830
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (38)
|
|
References (0)
|
