Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007
    URL: https://doi.org/10.1007/978-3-540-73210-5
    DBLP: db/conf/ifm/ifm2007.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 33  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Damien Karkinsky, Steve A. Schneider, Helen Treharne.
    Combining Mobility with State.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Jifeng He.
    UTP Semantics for Web Services.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Nazareno Aguirre, Germán Regis, T. S. E. Maibaum.
    Verifying Temporal Properties of CommUnity Designs.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Osman Hasan, Sofiène Tahar.
    Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Christie Marr.
    Capturing Conflict and Confusion in CSP.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Björn Metzler.
    Decomposing Integrated Specifications for Verification.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Larissa Meinicke, Graeme Smith.
    A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans.
    Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Tobe Toben.
    Non-interference Properties for Data-Type Reduction of Communicating Systems.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader.
    Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.
    Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 2007 (0) 2007
    Show item 1 to 10 of 33  

    Your query returned 33 matches in the database.