Stephen A Edwards

Stephen A Edwards

Columbia University New York - New York / United States
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 911776
person_outline Stephen A Edwards's MOST POPULAR ARTICLES
1-) VIS: A system for verification and synthesis Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
2-) Design of embedded systems: Formal models, validation, and synthesis Proceedings of the IEEE 85 (3), 366-390, 1997
3-) The case for the precision timed (PRET) machine Proceedings of the 44th annual Design Automation Conference, 264-265, 2007
4-) Galois theory
5-) Compiling esterel Springer, 2007