Formal Methods For Developing High Assurance Computer Systems: Working Group Report

	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/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Mats P.E. Heimdahl Articles by Constance L. Heitmeyer

Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Boca Raton, Florida

October 20-October 23

ISBN: 0-7695-0081-1

	ASCII Text	x
	Mats P.E. Heimdahl, Constance L. Heitmeyer, "Formal Methods For Developing High Assurance Computer Systems: Working Group Report," Industrial-Strength Formal Specification Techniques, Workshop on, pp. 60, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.

	BibTex	x
	@article{ 10.1109/WIFT.1998.766298, author = {Mats P.E. Heimdahl and Constance L. Heitmeyer}, title = {Formal Methods For Developing High Assurance Computer Systems: Working Group Report}, journal ={Industrial-Strength Formal Specification Techniques, Workshop on}, volume = {0}, year = {1998}, isbn = {0-7695-0081-1}, pages = {60}, doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766298}, 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 - Formal Methods For Developing High Assurance Computer Systems: Working Group Report SN - 0-7695-0081-1 SP EP A1 - Mats P.E. Heimdahl, A1 - Constance L. Heitmeyer, PY - 1998 VL - 0 JA - Industrial-Strength Formal Specification Techniques, Workshop on ER -

Mats P.E. Heimdahl, University of Minnesota

Constance L. Heitmeyer, Naval Research Laboratory

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

The Second International Workshop on Industrial- Strength Formal Techniques (WIFT'98) was held in October, 1998, in Boca Raton, Florida. At the workshop, four different discussion groups investigated various topics. This report summarizes the discussions conducted on the topic: Formal Methods for Developing High Assurance Systems.

Citation:

Mats P.E. Heimdahl, Constance L. Heitmeyer, "Formal Methods For Developing High Assurance Computer Systems: Working Group Report," wift, pp.60, 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.