ABZ 2008 (London, UK)

Jun 1, 2008 — Jun 4, 2008
London, UK
    Wolfram Büttner
    Complex Hardware Modules can now be made Free of Functional Errors without Sacrificing Productivity
    Michael Leuschel
    The High Road to Formal Validation
    Egon Börger, Bernhard Thalheim
    Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
    Gerhard Schellhorn
    Refinement of State-based Systems: ASMs and Big Commuting Diagrams