Robert D. Braun

Publication Activity (10 Years)

Years Active: 1979-1981
Publications (10 Years): 0

Publications

Robert D. Braun, Donald D. Givone
A Generalized Algorithm for Constructing Checking Sequences. IEEE Trans. Computers 30 (2) (1981)
Robert D. Braun, Donald D. Givone
An Improved Algorithm for Deriving Checking Experiments. IEEE Trans. Computers 28 (2) (1979)