Synthesizing controllers from real-time specifications

Proceedings of the International Symposium on System Synthesis

Volumn , Issue , 1997, Pages 126-132

  Dierks, Henning ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER ARCHITECTURE; REAL TIME SYSTEMS;

INTERVAL TEMPORAL LOGIC;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 0030655947     PISSN: 10801820     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)