Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005
    URL: https://doi.org/10.1007/11589976
    DBLP: db/conf/ifm/ifm2005.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 22  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Robi Malik, Partha S. Roop.
    Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Héctor Ruíz Barradas, Didier Bert.
    A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis.
    Generating Path Conditions for Timed Systems.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Tim Miller, Leo Freitas, Petra Malik, Mark Utting.
    CZT Support for Z Extensions.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller.
    Formal Methods Meet Domain Specific Languages.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières.
    Consistency in UML and B Multi-view Specifications.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Pontus Boström, Marina A. Waldén.
    Development of Fault Tolerant Grid Applications Using Distributed B.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Richard F. Paige, Phillip J. Brooke.
    Agile Formal Method Engineering.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    David Lorge Parnas.
    A Family of Mathematical Methods for Professional Software Documentation.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Shane Bracher, Padmanabhan Krishnan.
    Enabling Security Testing from Specification to Code.
    Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings 2005 (0) 2005
    Show item 1 to 10 of 22  

    Your query returned 22 matches in the database.