Thomas H. Bredt

Suggest Changes
  • Citations Per Year
Learn More
A formal analysis procedure for hardware and software computer systems is described. A system is described by a flow table model. The concept of an output hazard is introduced to account for effects(More)
  • 1