Thomas H. Bredt

Publication Activity (10 Years)

Years Active: 1971-1982
Publications (10 Years): 0

Publications

Thomas H. Bredt
The Emerging IEEE 802 Standard. COMPCON (1982)
Ashok R. Saxena, Thomas H. Bredt
Verification of a Monitor Specification. ICSE (1976)
J. V. Phillips, Thomas H. Bredt
Design and Verification of Real-Time Systems. ICSE (1976)
Ashok R. Saxena, Thomas H. Bredt
A structured specification of a hierarchical operating system. Reliable Software (1975)
David L. Russell, Thomas H. Bredt
Error Resynchronization in Producer-Consumer Systems. SOSP (1975)
James L. Peterson, Thomas H. Bredt
A Comparison of Models of Parallel Computation. IFIP Congress (1974)
Thomas H. Bredt
Analysis of Parallel Systems. IEEE Trans. Computers 20 (11) (1971)