Bokus

Stefan Leue

Visar alla böcker från författaren Stefan Leue. Handla med fri frakt och snabb leverans.

  1. Scenarios: Models, Transformations and Tools

    Scenarios: Models, Transformations and Tools

    2005

  2. Model Checking Software

    Model Checking Software

    2002

  3. Theoretical and Practical Aspects of SPIN Model Checking

    Theoretical and Practical Aspects of SPIN Model Checking

    2003

  4. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    2008