Publications :: Search

Show venue

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

Conference
Name:	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998
DBLP:	db/conf/fmsp/fmsp1998.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert. Formal specification and validation at work: a case study using VDM-SL.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper Liang Chen. Verification of an audio control protocol within real time process algebra.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper Matthew B. Dwyer, George S. Avrunin, James C. Corbett. Property specification patterns for finite-state verification.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper Martin S. Feather. Low-cost pathways towards formal methods use.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper Constance L. Heitmeyer, James Kirby, Bruce G. Labaw. Applying the SCR requirements method to a weapons control panel: an experience report.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper Gerard J. Holzmann. Designing executable abstractions.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper Helmut Melcher, Klaus Winkelmann. Controller synthesis for the "production cell" case study.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper Bruno Mermet, Dominique Méry. Service specifications: to B, or not to B.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper Steven P. Miller. Specifying the mode logic of a flight guidance system in CoRE and SCR.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998
	Conference paper David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill. Checking properties of safety critical specifications using efficient decision procedures.	Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA 1998	(0)	1998

Show item 1 to 10 of 13  

Your query returned 13 matches in the database.