Preface

Lubos Brim, Martin Leucker

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    16 Downloads (Pure)

    Abstract

    Preface for the workshops FMICS 2006 (Formal Methods in Industrial Critical Systems) and PDMC 2006 (Parallel and Distributed Methods in verifiCation). Affiliated to CONCUR 2006.
    Original languageUndefined
    Title of host publicationFormal Methods: Applications and Technology
    EditorsLubos Brim, Boudewijn R.H.M. Haverkort, Martin Leucker, Jan Cornelis van de Pol
    Place of PublicationBerlin
    PublisherSpringer
    PagesV-VI
    Number of pages2
    ISBN (Print)978-3-540-70951-0
    DOIs
    Publication statusPublished - Jun 2007
    EventFormal Methods: Applications and Technology - Bonn, Germany
    Duration: 26 Aug 200631 Aug 2006

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    NumberLNCS4549
    Volume4346
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Workshop

    WorkshopFormal Methods: Applications and Technology
    Period26/08/0631/08/06
    Other26-31 Aug 2006

    Keywords

    • EWI-11290
    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
    • METIS-242022
    • IR-61981
    • FMT-MC: MODEL CHECKING

    Cite this