David, René

1939

• Random testing of digital circuits
• Petri nets and Grafcet