On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata.

Published in: IEEE Trans. Syst. Man Cybern. Syst. (2013)

Keyphrases