Modelling languages and verification techniques for SOA systems based on portgraph rewriting

Project: Research

Project Details

StatusFinished
Effective start/end date1/09/201331/08/2015