Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000
DBLP:	db/conf/fmsp/fmsp2000.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 11  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene. Using TAME to prove invariants of automata models: Two case studies.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic. Fault origin adjudication.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper David L. Dill. Model checking Java programs.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper Robert J. Hall. Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper Nils Klarlund, Anders Møller, Michael I. Schwartzbach. DSD: A schema language for XML.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper Cindy Kong, Perry Alexander, Darryl D. Dieckman. Formal modeling of active network nodes using PVS.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper Nancy G. Leveson. Completeness in formal specification language design for process-control systems.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper W. B. Martin, P. D. White, W. Mark Vanfleet. Government, industry, and academia: Teaming to design high confidence information security applications.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper Ernst-Rüdiger Olderog, Anders P. Ravn. Completeness in formal specification language design for process-control systems.	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000
	Conference paper Douglas R. Smith. Software synthesis and applications (abstract only).	Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA 2000	(0)	2000

Show item 1 to 10 of 11  

Your query returned 11 matches in the database.