WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processes

W
WIFT
1998
Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Abstract - WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processes

	This Article
	Subscribers, please Login Purchase article: $19 PDF 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 Frank Weil

Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Boca Raton, Florida

October 20-October 23

ISBN: 0-7695-0081-1

	ASCII Text	x
	Frank Weil, "WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processes," Industrial-Strength Formal Specification Techniques, Workshop on, pp. 134, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.

	BibTex	x
	@article{ 10.1109/WIFT.1998.766307, author = {Frank Weil}, title = {WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processes}, journal ={Industrial-Strength Formal Specification Techniques, Workshop on}, volume = {0}, year = {1998}, isbn = {0-7695-0081-1}, pages = {134}, doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766307}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Industrial-Strength Formal Specification Techniques, Workshop on TI - WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processes SN - 0-7695-0081-1 SP EP A1 - Frank Weil, PY - 1998 VL - 0 JA - Industrial-Strength Formal Specification Techniques, Workshop on ER -

Frank Weil, Motorola Labs

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766307

This working group met as part of the 1998 Workshop on Industrial-Strength Formal Specification Techniques in Boca Raton, Florida. As the working group title suggests, we discussed lessons learned, open issues, and general suggestions surrounding the incorporation of formal methods in industrial development processes.

Citation:

Frank Weil, "WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processes," wift, pp.134, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998

Peer Review Notice | Give Us Feedback

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