Using the Event Calculus to Reason about Problem Diagrams

Andreas Classen, Robin Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux

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

47 Downloads (Pure)
Filter
Finished

Search results

  • Finished

    Model-driven engineering

    Cleve, A.

    1/01/10 → 31/01/10

    Project: Research Axis

  • Evolution: Evolution

    Cleve, A.

    1/01/10 → 31/01/10

    Project: Research Axis