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

Prosjekteigar

Høgskulen på Vestlandet

Prosjektperiode

Januar 2017 - Desember 2018

Finansieringskjelder

Diku

Totalbudsjett

297850 NOK