Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-prosjekt-ID:
546600
Sist endret:
25. mars 2019, 12:05
Historikk
Cristin-prosjekt-ID:
546600
Sist endret:
25. mars 2019, 12:05
Prosjekt
Methods and Tool Support for Refinement, Model Transformation and Verification of Network System
prosjektleder
prosjektleder
Volker Stolz
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
prosjekteier / koordinerende forskningsansvarlig enhet
prosjekteier / koordinerende forskningsansvarlig enhet
Høgskulen på Vestlandet
Finansiering
Finansiering
Totalbudsjett
NOK 297.850
SiU, Senter for internasjonalisering av utdanning
Prosjektkode: UTF-2016-SHORT-TERM/10049
Klassifisering
Klassifisering
Vitenskapsdisipliner
Teoretisk databehandling, programmeringsspråk og -teori
Kategorier
Kategorier
Prosjektkategori
Bidragsprosjekt
Grunnforskning
Tidsramme
Tidsramme
Avsluttet
Start:
1. januar 2017
Slutt:
31. desember 2018
Beskrivelse
Beskrivelse
Engelsk
Tittel
Methods and Tool Support for Refinement, Model Transformation and Verification of Network System
prosjektdeltakere
prosjektdeltakere
prosjektleder
Volker Stolz
Prosjektleder
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Fernando Macias Gomez de Villar
Prosjektdeltaker
ved Høgskulen på Vestlandet
Prosjektdeltaker
ved Institutt for informatikk ved Universitetet i Oslo
Dan Li
Prosjektdeltaker
ved Guizhou Academy of Sciences
Prosjektdeltaker
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Rui Wang
Prosjektdeltaker
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Ka I Pun
Prosjektdeltaker
ved Institutt for informatikk ved Universitetet i Bergen
1
-
5
av
7
|
Neste
|
Siste »
Resultater
Resultater
Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems.
Liu, Zhiming; Stolz, Volker. 2019, SWU, HVL
Kompendium
1
-
1
av
1