Session 10: Research Issues (3)

Ricky W. Butler, Chair

o The DDD Scheme Machine, by Steve Johnson, Indiana University

o Formal Development of a Clock Synchronization Circuit, by Paul Miner, NASA Langley Research Center