The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002