loading...
WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processes
Boca Raton, Florida October 20-October 23
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766307Second IEEE Workshop on Industrial St ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
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
Usage of this product signifies your acceptance of the Terms of Use.