Issue No. 11 - November (2003 vol. 36)
Steven D. Johnson , Indiana University
<p>The future benefits of using formal methods in embedded system design warrant investment in the underlying expertise.</p>
S. D. Johnson, "Formal Methods in Embedded Design," in Computer, vol. 36, no. , pp. 104-106, 2003.