Conferences in DBLP

Formal Methods in Software Practice (fmsp)
1998 (conf/fmsp/1998)

1. Jakob Lyng Petersen
   Automatic verification of railway interlocking systems: a case study. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:1-6 [Conf]
   
2. Matthew B. Dwyer, George S. Avrunin, James C. Corbett
   Property specification patterns for finite-state verification. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:7-15 [Conf]
   
3. John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
   Experiences in verifying parallel simulation algorithms. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:16-23 [Conf]
   
4. Helmut Melcher, Klaus Winkelmann
   Controller synthesis for the "production cell" case study. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:24-33 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:34-43 [Conf]
   
6. Steven P. Miller
   Specifying the mode logic of a flight guidance system in CoRE and SCR. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:44-53 [Conf]
   
7. Joachim Thees, Reinhard Gotzhein
   The experimental Estelle Compiler: automatic generation of implementations from formal specifications. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:54-61 [Conf]
   
8. Bruno Mermet, Dominique Méry
   Service specifications: to B, or not to B. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:62-69 [Conf]
   
9. Liang Chen
   Verification of an audio control protocol within real time process algebra. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:70-77 [Conf]
   
10. Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert
    Formal specification and validation at work: a case study using VDM-SL. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:78-84 [Conf]
    
11. Martin S. Feather
    Low-cost pathways towards formal methods use. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:85-91 [Conf]
    
12. Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
    Applying the SCR requirements method to a weapons control panel: an experience report. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:92-102 [Conf]
    
13. Gerard J. Holzmann
    Designing executable abstractions. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:103-108 [Conf]