Formal Methods in Embedded Design

	This Article
	Subscribers, please Login Purchase article: $19 PDF HTML IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Steven D. Johnson

November 2003 (vol. 36 no. 11)

pp. 104-106

	ASCII Text	x
	Steven D. Johnson, "Formal Methods in Embedded Design," Computer, vol. 36, no. 11, pp. 104-106, November, 2003.

	BibTex	x
	@article{ 10.1109/MC.2003.1244539, author = {Steven D. Johnson}, title = {Formal Methods in Embedded Design}, journal ={Computer}, volume = {36}, number = {11}, issn = {0018-9162}, year = {2003}, pages = {104-106}, doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2003.1244539}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - Computer TI - Formal Methods in Embedded Design IS - 11 SN - 0018-9162 SP104 EP106 EPD - 104-106 A1 - Steven D. Johnson, PY - 2003 VL - 36 JA - Computer ER -

Steven D. Johnson, Indiana University

The future benefits of using formal methods in embedded system design warrant investment in the underlying expertise.

Citation:

Steven D. Johnson, "Formal Methods in Embedded Design," Computer, vol. 36, no. 11, pp. 104-106, Nov. 2003, doi:10.1109/MC.2003.1244539

Usage of this product signifies your acceptance of the Terms of Use.