The Community for Technology Leaders
Green Image
Issue No. 11 - November (2003 vol. 36)
ISSN: 0018-9162
pp: 104-106
Steven D. Johnson , Indiana University
ABSTRACT
<p>The future benefits of using formal methods in embedded system design warrant investment in the underlying expertise.</p>
INDEX TERMS
CITATION
Steven D. Johnson, "Formal Methods in Embedded Design", Computer, vol. 36, no. , pp. 104-106, November 2003, doi:10.1109/MC.2003.1244539
101 ms
(Ver )