Travelled to:2 × USA
Collaborated with:J.V.Phillips A.R.Saxena D.L.Russell
Talks about:system (2) verif (2) resynchron (1) monitor (1) specif (1) produc (1) design (1) consum (1) error (1) time (1)
Person: Thomas H. Bredt
DBLP: Bredt:Thomas_H=
Facilitated 1 volumes:
EdContributed to:
19761975Wrote 3 papers:
- ICSE-1976-PhillipsB #design #realtime #verification
- Design and Verification of Real-Time Systems (JVP, THB), pp. 124–131.
- ICSE-1976-SaxenaB #monitoring #specification #verification
- Verification of a Monitor Specification (ARS, THB), pp. 53–59.
- SOSP-1975-RussellB #fault
- Error Resynchronization in Producer-Consumer Systems (DLR, THB), pp. 106–113.