Methods and Tool Support for Refinement, Model Transformation and Verification of Network System

Project owner

Western Norway University of Applied Sciences

Project period

January 2017 - December 2018