Conferences in DBLP

Integrated Formal Methods (IFM) (ifm)
1999 (conf/ifm/1999)

1. Jifeng He
   A Common Framework for Mixed Hardware/Software Systems. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:3-25 [Conf]
   
2. Matthew Hennessy
   Proof Systems for Message-Passing Process Calculi. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:26- [Conf]
   
3. Carsten Sühl
   RT-Z: An Integration of Z and timed CSP. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:29-48 [Conf]
   
4. Graeme Smith, Ian J. Hayes
   Towards Real-Time Object-Z. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:49-65 [Conf]
   
5. Brendan P. Mahony, Jin Song Dong
   Overview of the Semantics of TCOZ. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:66-85 [Conf]
   
6. Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir
   Modular Verification of Dynamic Properties for Reactive Systems. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:89-108 [Conf]
   
7. Jaco van de Pol, Jozef Hooman, Edwin D. de Jong
   Modular Formal Specification of Data and Behaviour. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:109-128 [Conf]
   
8. J. Paul Gibson, Geoff Hamilton, Dominique Méry
   Integration Problems in Telephone Feature Requirements. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:129-148 [Conf]
   
9. Bill Stoddart, Steve Dunne
   The Refinement of Event Calculus Models. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:151-169 [Conf]
   
10. Colin J. Fidge
    Modelling Discrete Behaviour in a Continuous-Time Formalism. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:170-188 [Conf]
    
11. Jin Song Dong, Shaoying Liu
    An Object Semantic Model of SOFL. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:189-208 [Conf]
    
12. Robert Büssow, Wolfgang Grieskamp
    A Modular Framework for the Integration of Heterogeneous Notations and Tools. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:211-230 [Conf]
    
13. Thomas Deiß
    An Approach to the Combination of Formal Description Techniques: Statecharts and TLA. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:231-250 [Conf]
    
14. Martin Große-Rhode
    A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:253-272 [Conf]
    
15. Christie Bolton, Jim Davies, Jim Woodcock
    On the Refinement and Simulation of Data Types and Processes. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:273-292 [Conf]
    
16. John Derrick, Eerke A. Boiten
    Specifying Component and Context Specification Using Promotion. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:293-312 [Conf]
    
17. Clemens Fischer, Heike Wehrheim
    Model-Checking CSP-OZ Specifications with FDR. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:315-334 [Conf]
    
18. Ian MacColl, David A. Carrington
    Specifying Interactive Systems in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:335-352 [Conf]
    
19. Richard F. Paige
    Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:353-372 [Conf]
    
20. Joy N. Reed, J. E. Sinclair, F. Guigand
    Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:375-394 [Conf]
    
21. Dominique Méry
    Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:395-414 [Conf]
    
22. Kevin Lano, Kelly Androutsopoulos
    Reactive System Refinement of Distributed Systems in B. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:415-434 [Conf]
    
23. Helen Treharne, Steve Schneider
    Using a Process Algebra to Control B Operations. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:437-456 [Conf]
    
24. Richard Banach, Michael Poppleton
    Retrenchment and Punctured Simulation. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:457-476 [Conf]