Navegação Ciências Exatas e da Terra por Autor "Courtois, Bernard"
Resultados 1-1 de 1
-
Definition and design of strongly language disjoint checkers
Jansch, Ingrid Eleonora Schreiber; Courtois, Bernard (1988) [Artigo de periódico]This paper defines strongly language disjoint (SLD) checkers. SLD checkers are to sequential systems what strongly code disjoint checkers are to combinational systems. SLD checkers are the largest class of checkers with ...