Proceedings of the IEEE@ProceedingsIEEE
How do you design a computer reliable enough to fly an aircraft?
#DistributedComputing pioneer Leslie Lamport's @ProceedingsIEEE paper on fault-tolerant computing is an early example of his method for specifying and verifying systems. Revisit the paper:
00144








