Research output

  1. Model-Driven Migration of Supervisory Machine Control Architectures

    Research output: Scientific - peer-reviewArticle

  2. Using Cluster Analysis to Improve the Design of Component Interfaces

    Research output: Scientific - peer-reviewConference contribution

  3. Model-Driven Consistency Checking of Behavioural Specifications

    Research output: Scientific - peer-reviewConference contribution

View all (16) »

Activities

  1. SEI Technical Report (Publisher)

    Activity: Publication peer-review and editorial workPublication peer-review

  2. Moose seminar

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

View all (2) »

ID: 297919