Generating High-Level Event-B System Models from KAOS Requirements Models

Christophe Ponsard, Xavier Devroey

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

139 Downloads (Pure)

Search results

  • Research Axis

    Model-driven engineering

    Cleve, A.

    1/01/10 → 31/01/10

    Project: Research Axis